复杂场景下列控系统功能一致性分析

• 作者: 任鹏程 吕继东 唐涛 王海峰
• 来源期刊: 铁道通信信号
• 关键词: 列控系统 运营场景 建模
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 信号·控制
• 页码范围: 7-10
• 页数: 4页
• 字数: 2488字
• 语种: 中文
• DOI: 10.13879/j.issn1000-7458.2016-02.15586

摘要

基于Simulink&Stateflow建立了高速铁路列控系统运营场景的仿真模型,首先根据C2和C3行车许可运营场景的控制时序流,分析了单一场景功能的正确性;其次,结合等级转换场景,验证了C2和C3行车许可运营场景在语用层次上的一致性;再次,结合模式转换场景,验证了C2和C3行车许可运营场景在语义层次的不一致性,发现了列控系统运营场景规范中一个导致列车无法正常行车的漏洞;最后,通过对列控系统运营场景功能逻辑的修改,保证了列车运行的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通与安全国家重点实验室	152	2578	27.0	40.0
2	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
3	王海峰	北京交通大学轨道交通运行控制系统国家工程研究中心	31	313	10.0	17.0
4	任鹏程	北京交通大学轨道交通与安全国家重点实验室	1	0	0.0	0.0