基于HTCPN的列车追踪车地通信过程建模研究

Modeling Study of HTCPN-based Train-to-wayside Communication Process for Train Tracking

为了对高速铁路移动闭塞系统(Moving Automatic System,简称MAS)进行更加精确的仿真,利用CPN Tools建立高速铁路列车追踪运行车地通信过程的CPN模型,应用CPN ML语言模拟无线通信模型中数据包的丢包现象;引入时间标志对模型中数据传输的时间特性进行分析。仿真过程中为模型各个控制环节定义数据采集监控器,连续仿真3次分析追踪运行车地通信信息传输的时间特性。结果表明:该分析方法可以得到准确的性能分析报告,仿真结果对高速铁路中MAS系统开发阶段的形式化验证具有一定的借鉴意义。

For accurate simulation of MAS system of high-speed railway, CPN model of train-to-wayside data communication process for high-speed train tracking operation is established with CPN Tools, and packet loss phenomenon of wireless communication is modeled by CPN ML language. The time characteristics of the data transmission are analyzed by the introduction of the time stamp. The data acquisition monitor is defined for various control modules during simulation, and the temporal characteristics of train-to-wayside communication information transferred during tracking operation are analyzed by continuous three simulations. The results show that the analytical method can obtain more accurate performance report and the simulation results are of some significance for the formal verification of the MAS system development process in high-speed railway.