Reliability and Delay of DSPN-Based Ground Communication System in High-Speed Maglev Vehicles

To achieve the real-time and large-capacity communication of maglev operation control system when the train runs at high speeds, a DSPN-based (deterministic and stochastic Petri nets) model was built according to the communication failure modes of 38 GHz millimeter wave. Further, a vehicle-ground downlink transmission model was established to cover the entire transmission process of sending information frame, processing redundant structure, transmitting in dual channel, electing and voting. Finally, the reliability and time delay of the maglev vehicle-ground communication system were verified by formal method. The results of formal verification show that fault-free probability of the 38 GHz millimeter communication system is 99.452%, and mean time for repairing fault is 373.80 ms, which satisfy the vehicle-ground communication requirement of high-speed maglevs.