Applied Research Of Train To Train Communication Technology In Onboard Equipment Of Train Control System

With the development of urban rail transit in China's large and medium sized cities,communication based train control system(CBTC)is popular and applied extensively,which not only ensures the safety of urban rail transit operation,but also improves trains operational efficiency.CBTC system consists of four parts:center equipment,ground equipment,trackside equipment and vehicle equipment.There are many complicated information interactions among them,especially between ground and trackside equipments.Therefore the expense of construction and operating CBTC is high.Under the premise of ensuring the safety and efficiency of urban rail transit operation,it is the development trend of train control system to reduce the expense of construction and operation by redistributing functions of system,optimizing system structure and reducing ground and trackside equipment.Based on the characteristics of urban rail transit line structure and transportation operation,this paper explores a structure simplified train control system scheme based on train to train communication.This paper verifies the scheme by combining the model-based simulation with formal verification.Specific works as following:(1)A preliminary scheme of train control system based on train to train communication is desighed.The function and the structure of the system is explained.The information exchange processes and control principles between the center equipment,the onboard equipment and the object controller of the system are explored.(2)A system modeling and verification method based on model-based simulation and formal verification is desighed.The concept of time is added into safety state machine theory,and the model correspondence between the two modeling tools is given.This method is not only rigorous and comprehensive,but also intuitive.(3)The modeling,simulation and formal verification of onboard equipment of train control system based on train to train communication are completed.Three key functional modules,including train management module,moving authority generation module and speed control module are selected to model.Visual modeling and simulation are carried out based on MATLAB environment.Formal verification based on UPPAAL is completed.And the functional correctness of three core functional modules is analyzed.(4)The simulation software of the system based on traditional code compilation is implemented based on VS2015 environment.It not only presents the simulation process and results in a visual way,but also combines wtih model-based simulation and verification to further demonstrate the feasibility of the system scheme.