摘要
区域控制器(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系统其他功能或场景的建模与验证提供了思路。
The zone controller calculates the movement authorization for the train by interacting with other subsystems such as the computer interlocking system, the vehicle on board controller, and the automatic train supervision system. It is an important ground safety device for the communication based train operation control system. Studying the functional requirements of the area controller and constructing a model that meets the realtime and safety characteristics of boundary switching could help ensure the efficient and safe operation of trains on the line. Based on the existing modeling method, weadopted the unified modeling language and hierarchical time colored Petri net to analyze the information interaction process between the zone controller and VOBC under the scene of ZC boundary switching. The UML model and the HTCPN model were built to verify the safety of ZC switching scenario from the perspective of the state change of the VOBC, and CPN Tools was used as a simulation platform to verify and analyze them. According to the CPN Tools state space report, the various dynamic properties of the converted HTCPN model are normal and there are no deadlocks and livelocks in the model. The simulation results show that the model constructed by the method of UML to HTCPN conversion not only clearly describes the entire ZC switching process, but also ensures the mathematical rigor of the model. The converted HTCPN model meets the requirements of the ZC switching function, which proves the feasibility of the integrated modeling method, and provides ideas for modeling and verification of other functions or scenarios of the CBTC system.
作者
孙维正
旷文珍
SUN Weizheng;KUANG Wenzhen(School of Automation and Electrical Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;Gansu Research Center of Automation Engineering Technology for Industry&Transportation,Lanzhou 730070,China)
出处
《铁道科学与工程学报》
EI
CAS
CSCD
北大核心
2022年第4期1081-1091,共11页
Journal of Railway Science and Engineering
基金
甘肃省科技计划项目(20JR5RA407,20CX9JA125)。
