Research And Verification Of Train Control Of RBC Scenes Based On Colored Petri Net

With the continuous application of Chinese railway global strategy,Chinese high-speed railway has developed vigorously.The safety and efficiency of high-speed railway have gradually become the key point of development,which brings new chanllenges for the safety and real-time of train operation control system.Radio Block Center(RBC),as the key equipment of CTCS-3 train operation control system on the ground,uses the information obtained by the interaction of RBC and other external systems to calculate the movement authority and other control commands,which will be sent to the train varying different operation scenes.Whether the train can run safely and reliably on the railway depends largely on the accuracy and timeliness of the movement authority sent by RBC.Therefore,it is of great significance for us to study the scenes of RBC controlling train.Based on the theory and modeling method of colored Petri net,the process of RBC controlling train in different scenes studied in this paper is as follows:Firstly,the analyses of information interaction between RBC and train in different scenes and the establishment of CPN model are applied.According to the operation scenes of CTCS-3 train control system,the scenes are divided into the following four main scenes:safety link between RBC and train,generating MA,the transition between CTCS-2 and CTCS-3 and RBC handover.This paper analyzes the information interaction between RBC and train in each scene in detail and adopts the downward hierarchical modeling method to establish the top-network and sub-network models of the system by using CPN Tools,which is the modeling tool of colored Petri nets.In the CPN model,message delay and train initial speed are set to analyse the scenes of RBC controlling train.Then,the state space analysis and system performance analysis of CPN model are performed.This paper uses state space tools to analyze the dynamic properties of CPN model and verifies the logical correctness and functional completeness of the model.Through the performance analysis of the model,the following conclusions are drawn:the message delay of the system has an impact on the real-time of RBC controlling the train.To meet the technical specifications,the maximum message delay can't exceed 1.3 second,otherwise the safety link between the train and RBC can't be guaranteed within 10 second.The speed of the train has an impact on the transition of CTCS-2 to CTCS-3,the faster the train runs,the more time the transition of CTCS-2 to CTCS-3 needs.On this basis,the paper puts forward the time requirement of the transition between CTCS-2 and CTCS-3 and RBC handover under the most unfavorable conditions,which has certain reference value for the design of train operation control system.Finally,based on CPN model,the simulation platform of RBC is developed.The paper uses Mysql database to store railway data and defines the data format of the interaction between RBC and other systems.The function of the simulation platform is designed with modular programming idea and the platform is developed by C#programming language.The platform verifies RBC's function of generating control commands in different operation scenes.