Formal modeling and performance analysis of safety communication protocol in train control system

摘要

The safety communication protocol is a main factor affecting the train control system. Its performance analysis is of great significance to the train control system. After introducing the procedure of safety communication protocol in the train control system briefly, this paper first explores the application of hierarchy timed Colored Petri Net (CPN) to establish the models of the protocol, including the models of state transition process and the models with time delay and packet loss to imply the influent factors, then collects related performance data such as time for establishment of safety connection, with different time delay and probability of packet loss via simulation. The simulation results could provide a certain reference for the safety communication protocol design and development. Finally, this paper finds how the time delay and packet loss could influent the time for the establishment of safety connection through data interaction process based on theory of probability and mathematical statistic, which is reasonable.