在信号系统出现故障的应急场景下，保证城市轨道交通列车行车安全，降低对运营效率的影响成为亟需解决并充满挑战的难题。本项目引入车车通信打破列车防护信息获取壁垒，研究适用多场景的列车主动测距防护技术。在此基础上采用基于形式化建模仿真与实际数据参数相结合的方法，来验证优化列车主动测距防护系统。首先，研究用形式化语言将实际系统框架转换为计算机可处理模型，分析系统功能和逻辑的安全性，研究安全模型向代码框架生成。随后，以列车安全高效运行为优化目标，研究应急情况下基于通信延迟和测距误差的实时动态联合优化防护。最后，将安全代码框架与性能优化算法相结合，搭建应急情况下列车主动测距防护系统半实物仿真平台，探索应急情况下基于车车通信的列车测距防护控制系统安全与性能指标。本研究对于开发应急情况下的列车通信与防护控制系统具有重要的理论与实际价值，为车车通信在下一代列车运行控制系统中的应用和性能分析提供理论与实验依据。

It is an urgent and challenging issue to ensure the safety and efficiency of train operation when trains are under emergency scenarios. This project proposes to involve the train-to-train communication to carry out the distance data acquisition, and study the ranging technology for train protection in various scenarios. The formal method based modeling and simulation and actual experimental data are used to verify and optimize the train active ranging protection system. Firstly, based on the formal method, the actual system structure is transferred into computerized formalization. The system function and logical safety are analyzed. After the formal models are validated, a safe software code framework can be generated from the model structure. Afterward, with the objective of the optimal and efficient operation, the system safety is defined as the dynamic joint optimization of communication delay and distance measurement error. Finally, combined with the code framework, the performance optimization algorithm is used to assemble the semi-physical simulation platform. The safety and performance indicators of train ranging protection control system based on train-to-train communication in emergencies are studied. This project has significant theoretical and practical contributions for the development of train communication and control systems under emergency conditions; it provides some essential theoretical and practical pre-data for the application and performance analysis of train-to-train communication in the next-generation train operation control system.