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

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.