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

来源：计算机工程与应用杂志2019年第18期北京时间：

作者：王颖卓，刘中田

单位：北京交通大学 电子信息工程学院，北京 100044

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

关键词：CTCS-1级列控系统,等级转换场景,NuSMV模型,模型验证