Highly Reliable Information Interaction and Sharing Based on Distributed Collaboration Communication

To improve the operational efficiency and reliability of high-speed trains (HSTs), the Automatic Train Control System has received considerable attention. Train-to-Train (T2T) communication is one of the critical technologies for autonomous train operation. However, the development of <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$T 2 T$</tex> communication technology still faces many challenges, particularly regarding communication distance limitations and reliability issues. To address these challenges, this paper introduces an innovative T2T collaborative communication model for HSTs, focusing on highly reliable information interaction and sharing in distributed collaboration environments. The model employs dynamic and static nodes to enable direct T2T information exchange. Using formal verification and state space analysis to ensure the system's reliability and performance. A Build-in-Test (BIT) mechanism is implemented for fault detection and isolation, enhancing the reliability of the system. By analyzing the performance indicators of the system in different scenarios, the reliability of the system was verified.