Derivation of the safety requirements for control systems based on the interoperability property of the Maglev train

With the prospect of new and different Maglev train lines to be constructed, the interoperability properties of the Maglev train have become a new issue. The safety performance requirement of the Maglev control equipments for interoperability operation was derived based on the objectives of the crossing boundary between different lines and the corresponding procedures have been modelled with stochastic Petri nets. Firstly, the whole objectives of the crossing boundary of different Maglev lines were defined taking the operation efficiency and safety target into consideration. The train would cross the boundary without decreasing the speed. The operation efficiency and the safety property of the crossing procedure should be guaranteed. In addition, based on the interoperability objectives, the interoperability operation procedure of the Maglev train was specified and the Maglev control equipments used for the interoperability were designed. The control equipments were used to transmit the data between different control systems of different lines. Thirdly, the process of the train passing the boundary of different lines was modelled with the stochastic Petri nets based on the different operation stage of the train. Finally, by means of the simulation of the model, the safety performance requirements of the Maglev control systems were derived based on the defined crossing success rate.