Safety requirements analysis and performance verification of hot standby system using colored Petri-net

Train control system is a typical safety critical system and it is responsible for the safety and efficiency of train operation. When safety requirements are identified in the process of system safety engineering the main task of the designer is to adopt appropriate measures to carry out the safety requirements reliably and verify it can achieve corresponding performance. Hazard analysis methods draw a clarified road map to derive these safety requirements and model verification technologies justifies that the accuracy of performance requirements are satisfied before implementation. In this paper, the derivation process of safety requirements including random failure and systematic failure of hot standby system is described and colored petri-net is used for model verification and performance analysis.