CBTC区域控制器切换场景的建模与验证

• 作者: 孙维正 旷文珍
• 来源期刊: 铁道科学与工程学报
• 学科: 交通运输
• 关键词: 列控系统 区域控制器 UML 有色Petri网
• 年，卷（期）: 2022,（4）
• 所属期刊栏目: 智能制造与装备|Intelligent Manufacturing and Equipment
• 页码范围: 1081-1091
• 页数: 11页
• 分类号: U284.48
• 语种: 中文
• DOI: 10.19713/j.cnki.43-1423/u.T20210414

摘要

区域控制器(Zone Controller,ZC)通过与联锁系统(Computer Interlocking,CI)、车载控制器(Vehicle On Board Controller,VOBC)和列车自动监督系统(Automatic Train Supervision,ATS)等其他子系统信息交互来为列车计算移动授权,是基于通信的列车运行控制系统(Communication Based Train Control,CBTC)重要的地面安全设备.研究区域控制器的功能需求,构建满足边界切换实时性、安全性特点的模型有助于保证列车在线路上高效、安全的运行.在现有建模方式的基础上,采用统一建模语言(Unified Modeling Language,UML)和层次时间有色Petri网(Hierarchical Timed Colored Petri Net,HTCPN)相结合的方法对ZC边界切换场景下的区域控制器和车载子系统之间的信息交互过程进行分析.从车载VOBC状态变化的角度构建用于验证切换场景安全性的UML模型和HTCPN模型,并以CPN Tools作为仿真平台对其进行验证.根据CPN Tools状态空间报告可知,转换后HTCPN模型的各种动态属性正常且模型不存在死锁和活锁.仿真结果表明:采用UML向HTCPN转换的方法构建的模型既能清晰描述整个ZC切换的过程,又保证了模型在数学上的严谨性.转换后的HTCPN模型符合ZC切换功能的需求,证明了该集成建模方法的可行性,为CBTC系统其他功能或场景的建模与验证提供了思路.