| 基于HCSP的列控系统安全性建模与验证分析 |
| |
| 引用本文： | 吕继东,唐涛,李开成,王海峰.基于HCSP的列控系统安全性建模与验证分析[J].铁路计算机应用,2017,26(1):11-17. |
| |
| 作者姓名： | 吕继东 唐涛 李开成 王海峰 |
| |
| 作者单位： | 北京交通大学 轨道交通运行控制系统国家工程研究中心,北京 100044 |
| |
| 基金项目： | 国家自然科学基金资助项目（61304185）；中国铁路总公司科技研究开发计划课题（2014X003-D）。 |
| |
| 摘 要： | 高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备，如何验证系统功能的正确性从而提高系统的安全性是至关重要的。引入了一种基于进程演算的方法—混合通信顺序进程（HCSP ，Hybrid Communication Sequential Process），利用该方法对列控系统进行了形式化描述，并针对典型的场景—注册与启动场景进行了HCSP建模，通过引入转换规则，进行了相应模型转换，应用模型检验工具UPPAAL进行了仿真和功能验证，验证结论表明了场景模型功能的正确性以及方法的可行性。
|
| 关 键 词： | 列车运行控制系统 安全性 混合通信顺序进程 注册与启动 模型转换 验证 |
| 收稿时间： | 2016-06-07 |
Modeling and verification analysis for safety property of HCSP based train control system |
| |
| Institution: | National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing 100044, China |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
