Modeling And Verification Of Operational Scenario Of Train Control System Based On Train To Train Communication

A train control system based on train to train communication is formed through redistributing the function of train and optimizing system structure on a basis of CBTC.There are many advantages of the system like few devices and system interfaces,simplified structure and low maintenance cost.Train control system is a system of ensuring the train realize safe and efficient operation.How to meet the functionality,performance and safety of new train control system appear to be particularly important.The content of this paper is mainly based on the theory of timed automata,using the UPPAAL real-time system analysis verification tool for modeling the typical operational scenario of train control system based on train to train communication.It verifies that the train control system meets the requirement of functionality,performance and safety in such scenario.In addition,the paper verifies the crossover operation efficiency based on mobile block system using MATLAB simulation software.The following work is carried out.(1)The paper compares and analyzes the system architecture and train control process of CBTC and train control system based on train to train communication.When comparing system architecture,CBTC is taken as a reference.The comparison classification includes the existing function modules,newly added function modules and the transfer of same function of modules.When comparing the train control process,there was significant difference in the mobile authorization generation process of two sets of systems and the interlock control access.According to the comparison result,the Movement Authority scenario and crossover operation scenario are selected as typical scenario of train control system.(2)The paper confirms the objects included in the operational scenario like key equipment of system,mutual information,realization process,etc.Moreover,the paper extracts the term,function,communication,environment,characteristics and attribute of typical scenario and presents corresponding graphs described normatively.(3)The paper builds of the model of objects in the typical scenario using timed automata through setting passage,global variable and function,etc.,and constructed the product of time automat.Moreover,the paper analyzes and verifies the time automat model in typical scenario using UPPAAL verification tool according to the system functionality,real-time requirement,and processing requirement in abnormal case.(4)According to the crossover operation time composition and the speed change in the train operation process,the paper analyzes the crossover operation based on moving block system and fixed block system respectively,and got the time computation method through computing time by segment.At last,the paper gets simulation curve through MATLAB simulation of crossover operation,simulated the speed of train passing through the turnout and time of crossover operation,and finally verified that adopting the crossover operation based on moving blocks ystem can enhance the crossover operation efficiency effectively.