基于HCSP的列控系统安全性建模与验证分析

• 作者: 吕继东 唐涛 李开成 王海峰
• 来源期刊: 铁路计算机应用
• 学科: 交通运输
• 关键词: 列车运行控制系统 安全性 混合通信顺序进程 注册与启动 模型转换 验证
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 研究与开发
• 页码范围: 11-17
• 页数: 7页
• 分类号: U284.482|U238|TP39
• 字数: 4569字
• 语种: 中文

摘要

高速铁路列车运行控制系统是保证列车安全、高效运行的核心设备,如何验证系统功能的正确性从而提高系统的安全性是至关重要的.引入了一种基于进程演算的方法—混合通信顺序进程(HCSP,Hybrid Communication Sequential Process),利用该方法对列控系统进行了形式化描述,并针对典型的场景—注册与启动场景进行了HCSP建模,通过引入转换规则,进行了相应模型转换,应用模型检验工具UPPAAL进行了仿真和功能验证,验证结论表明了场景模型功能的正确性以及方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通运行控制系统国家工程研究中心	152	2578	27.0	40.0
2	李开成	北京交通大学轨道交通运行控制系统国家工程研究中心	49	532	14.0	21.0
3	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
4	王海峰	北京交通大学轨道交通运行控制系统国家工程研究中心	31	313	10.0	17.0