Formal description and verification of vehicle-to-ground communication protocol for guided transport control system

GTS (Guided Transport System) is a new medium traffic system with low construction cost, short cycle, energysaving, and high efficiency. It has broad application prospects. In the GTS, the traditional train control system is adopted, and the equipment price is high and does not meet the actual operation scene requirements. To this end, according to the actual demand of GTS, this paper proposes an guided transport control system (GTCS) based on communication and studies the technology of vehicle-to-ground communication, which is the key technology of GTCS based on communication. In order to verify the security of the vehicle-ground security communication protocol, a formal model of the vehicle-to- ground security communication protocol based on communication GTCS is established. Furthermore, it is proved that the communication protocol can guarantee the reliability of the information transmission of the GTCS.