Positive Safety Modeling of CTCS-3 Train Control System for High-speed Railway

Shengjie Tang,Haifeng Wang,Bin Ning,Geer Han,Ming Chai
DOI: https://doi.org/10.1109/icirt.2018.8641659
2018-01-01
Abstract:Train control system is the core equipment to ensure the safety of railway operation. The conventional train control fails to consider the hybrid features of the system. In this paper, a hybrid modeling method for the positive safety of RBC sub-system in CTCS-3 train control system is proposed. Firstly, the paper analyzes the hybrid behaviors of the train control system, and presents a formal description of the positive safe function. Secondly, based on the integration of SCADE and Simulink, a hybrid modeling method is proposed. Finally, the simulation results show that the designed positive safe functions can effectively improve the safety and performance for train control.
What problem does this paper attempt to address?