车地协同列控系统追踪运行模块HCPN建模与验证

Modeling and Verification of Tracking Operation Module in Train-ground Collaborative Control System

最近,针对城际铁路,新型的车地协同列控系统被提出。该系统被用于解决传统列控系统轨旁设备过多、结构复杂、信息流通环节多的问题。为保障行车的安全和效率,利用着色Petri网对车地协同列控系统中追踪运行模块功能的正确性和安全性进行验证。首先,基于列车运行控制功能需求,对追踪运行模块做合理设计;然后,为移动授权计算和超速防护子模块建立层次化模型,主要描述不同场景下的移动授权计算、临时限速命令下发、速度实时监控等功能的实现过程;接着,选取多车追踪运行场景对追踪运行模块进行动态仿真;最后,通过状态空间报告对模型正确性进行验证,通过检查模型节点的状态对模块功能的安全性进行验证。仿真及验证表明:模型的执行结果与追踪运行模块预期功能一致,模型行为属性的正确性及模块功能的安全性符合需求。

Recently,the new train-ground collaborative control system has been proposed for intercity railways.This system is used to solve the problems of excessive trackside equipment,complex structure and redundant information circulation links in traditional train control system.Function correctness and security of tracking operation module in the train-ground collaborative system are verified to ensure the safety and efficiency of train operation by the colored Petri net.Firstly,the tracking operation module is designed based on functional requirements of train operation control.Then,hierarchical Petri net models are established for movement authority(MA)calculation and automatic train protection sub modules,to describe the realization process of the following functions:MA calculation in different scenarios,the issuance of temporary speed restriction command and the speed monitoring.Further,the multi train tracking operation scenario is selected to conduct dynamic simulation for tracking operation module.Finally,the model-correctness and the module functional safety are verified by the model state space report and checking the status of model nodes respectively.The simulation and verification show that execution results of the model are consistent with the expected functions of the tracking operation module,while the model behavior properties correctness and functional security of the module meet the requirements.