HCPN Modeling And Verification Of Interlocking Subsystem Based On Train-ground Collaborative Control

As the key guarantee of train operation safety,interlocking subsystem is an important component of train control system.In view of the shortcomings of traditional interlocking subsystem,such as high risk of ground centralized control failure and low degree of train autonomy,thesis comply with the development trend of train control technology of simplifying system structure,reducing operation cost and improving train autonomy,presenting an interlocking subsystem based on train-ground collaborative control suitable for Intercity Railway.Thesis designs and verifies the interlocking subsystem based on train-ground collaborative control by using the decentralized control of train independent route instead of the centralized interlocking mode on the ground.The main work of this paper is as follows:(1)Based on the background of intercity railway,the interaction information of equipment layer in train control system based on train-ground collaborative control is analyzed to clarify the external information source of interlocking subsystem.Then,the differences between the interlocking subsystem and the ground centralized interlocking in system composition,route composition and route management are analyzed to determine the main structure and function of the interlocking subsystem.On this basis,the route control process is divided into five stages: route selection,determination of timing for route triggering,route pre-extension,interlocking inspection and train route release,for each of which the detailed control flow was designed.Next,the interaction information between the internal modules of the subsystem is analyzed to specify the function of main data processing module,so as to complete the logic function design of each module,so as to realize the design of the structure and function of the interlocking subsystem.(2)The general idea of modeling is introduced.Then,the scene analysis method is used to analyze and integrate the system function realization scene and train operation scene,such that the single-train receiving scene,multi-train route sharing and conflict scene are constructed.On this basis,based on the route control process,Hierarchical Colored Petri Nets is used to build the scene model.Finally,according to the top-down model refinement strategy,based on the function realization of data processing module,a module layer model based on low abstraction expression of data and behavior is established.At the same time,mutex lock and message driven mechanism are introduced to realize the complete expression of system function logic.(3)The HCPN model of single-train receiving scene,route sharing and conflict scene of interlocking subsystem are analyzed in state space to verify the correctness of the model.On this basis,the verification method of combining ASK-CTL formula with state space query statement is adopted to verify the system function security,and then the modeling and verification of interlocking subsystem are completed.The verification results show that the interlocking subsystem based on train-ground collaborative control satisfies the expected functional safety characteristics,which can provide the basis for the underlying implementation.