Modeling Analysis And Implementation Of Typical Scenarios For ATO System In High-speed Railway Based On Alvis

With the increase in the intelligence of train control systems,Automatic Train Operation(ATO)technology has been initially applied to high-speed trains,but at this stage the operating scenarios are relatively less complex and the vehicle density is low.Before the large-scale application of the high-speed railway ATO system(hereinafter referred to as the "high-speed railway ATO system"),it is necessary to test the ability of trains to maintain automatic,continuous and efficient operation in complex line environments and operating scenarios.In contrast to the inconvenience of field testing,the use of rigorous formal methods to model and analyse the system at a theoretical level has been an effective means.The thesis draws into the graphical programming-based formal modeling theory Alvis,constructs a set of formal analysis method framework integrating modeling,verification and simulation,and apply it to the analysis of typical scenarios in the highspeed rail ATO system;draws into Redis computer technology to construct a simulation platform for high-speed railway ATO systems,and uses the semi-substantial simulation platform to verify the rationality of the scenario optimisation strategy based on the formal method.The specific work is as follows.(1)The structure and functions of the high-speed railway ATO system are analysed,the similarities and differences between it and the existing CTCS-3 train control system in interactive information pointing behavior are compared,and the operation conditions of the existing high-speed railway ATO system are investigated and analysed.Two typical scenarios are sorted out as research objects using the scenario analysis method.(2)A formal method framework for modeling verification and simulation of the high-speed rail ATO system with Alvis theory as the core is proposed,in which an accurate description of the natural specification language is realised based on the UML2.0method,rules for the combination of different train operation control system attributes(concurrent,real-time,hybrid)are developed for the inscription of the method,and a simulation method for the operation process of the model with data(data import in advance,data extraction)as the core is proposed.(3)Two typical scenario models are constructed and simulation analysis are performed.The model construction of the scenarios of combined fault probability events in the wireless network environment,non-ATO to ATO area approach of trains affected by network quality and normal interzone TSRS handover scenario is completed using the method proposed,and the correctness of the logic and timing functions is verified;the simulation analysis of the dynamic operation of trains under different approach scenarios(receiving or departure route,through route,tracking operation)is carried out using the data extraction model to make up for the shortcomings of the scenario design.(4)A semi-entity simulation platform based on Redis is built and used for the verification of typical scenarios.The distributed real-time cluster communication architecture based on Redis is built,the adaptive upgrade of the existing CTCS-3 level train control system simulation platform by adding ATO functions is completed,and the rationality of the optimisation strategy for scenario design flaws is verified through simulation tests.This paper has 58 figures,24 tables and 90 references.