CTCS-1级列控系统等级转换场景建模与验证

• 作者: 刘中田 王颖卓
• 来源期刊: 计算机工程与应用
• 学科: 交通运输
• 关键词: CTCS-1级列控系统 等级转换场景 NuSMV模型 模型验证
• 年，卷（期）: 2019,（18）
• 所属期刊栏目: 工程与应用
• 页码范围: 256-262
• 页数: 7页
• 分类号: U284.48
• 字数: 6241字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1807-0056

摘要

随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础.通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范.文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘中田	北京交通大学电子信息工程学院	24	145	7.0	10.0
2	王颖卓	北京交通大学电子信息工程学院	3	4	1.0	2.0