| 计算机联锁控制逻辑的模型检验方法 |
| |
| 引用本文： | 燕飞,唐涛.计算机联锁控制逻辑的模型检验方法[J].铁道通信信号,2009,45(5). |
| |
| 作者姓名： | 燕飞 唐涛 |
| |
| 作者单位： | 1. 北京交通大学轨道交通控制与安全国家重点实验室,100044,北京
2. 北京交通大学电子信息工程学院,100044,北京 |
| |
| 基金项目： | 国家自然科学基金重点项目 |
| |
| 摘 要： | 描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检验面临的困难以及今后的努力方向.
|
| 关 键 词： | 铁路计算机联锁系统 形式化方法 模型检验 |
Model Verification of Computer Interlocking System Control Logic |
| |
| Yan Fei,Tang Tao.Model Verification of Computer Interlocking System Control Logic[J].Railway Signalling & Communication,2009,45(5). |
| |
| Authors: | Yan Fei Tang Tao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
