列控系统等级转换的建模研究

摘要：

等级转换是高速铁路列车运行控制系统的一个主要运营场景.当列车通过CTCS-3级区域和CTCS-2级区域边界时,车载子系统、无线闭塞中心、司机、预告应答器以及转换应答器之间存在大量的信息交互过程,并对列车的安全运行和行车效率有直接的影响,因此有必要采取形式化建模方式对该过程进行分析和验证.文章根据时间自动机理论对CTCS-3级向CTCS-2级转换的过程进行建模,并应用UPPAAL对转换过程各子系统的信息交互一致性和实时性进行验证.结果表明,该过程满足交互一致性和实时性的规范要求.

关键词：等级转换、时间自动机、UPPAAL、实时性

分类号：U284.48(铁路通信、信号)

资助基金：教育部职业院校信息化教学指导委员会2018-2020年信息化教学研究课题重点课题:"《列车运行自动控制系统维护》课程的信息化教学研究";"2020年度柳州铁道职业技术学院校级立项课题:城市轨道交通车载ATP计算机实验装置的研制"

在线出版日期：2021-02-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：175-179