Functional Safety Analysis Method for CTCS Level 3 Based on Hybrid Automata

Chinese Train Control System Level 3(CTCS-3) is a typical complex cyber-physical system. The complexity of functionality of CTCS-3 brings some challenges to the safety analysis with the typical methods. In this paper, we propose the method of functional safety analysis based on the hybrid automata, where the faults are modeled as fault events to present the fault situation of system, moreover, the transition from hybrid automata to PHAVer model and the fault monitor which can monitor the malfunction in the reachability analysis are elaborated. At last, we take the speed supervision of CTCS-3 as an example, and the experimental results show the validity and feasibility of this method.