Research On Generation And Verification Method Of CTCS-1 Line Data

The line data of the train control system provide many important information in the train running line description,and the accurate line data is also a fundamental part for the safe operation of the train control system.However,the actual operating line information is manually compiled,which is not completely consistent with the LKJ data table.Manual compilation not only exists the possibility of missing and wrong compilation,but also makes it difficult to guarantee the accuracy.At the same time,the traffic route of each traffic bureau is not completely consistent with the monitoring traffic route.The actual vehicle control data according to the traffic route organization,which leads to the data redundancy.Data files and data versions are not unified by various road bureaus,which makes the management of vehicle control data more complex and is not conducive to improving the quality and efficiency of existing railway lines.In order to solve this problems,this paper firstly analyzes the functions and data of the CTCS-1 train control system,and designs a line data model with simple format and easy storage.Then,according to the characteristics of the line data and the generation process framework are formed,and the data model compilation process is fully described.After that according to the train operation scenarios and train control system functions described in CTCS-1 train control technical scheme,the data model verification scheme is established.The model verification system and system iteration method combining UML and Nu SMV are proposed.The data model preparation process and model verification scheme are established and verified respectively.Finally,the line data model,data model compilation rules and model verification schemes that meet the requirements of CTCS-1 train control system are obtained.The rules and verification scheme of the data model are very significant to ensure the correct line data and the safe operation of the train control system.Based on the framework,the following work has been done:(1)Complete the design and construction of CTCS-1 line data model.This paper analyzes the line data from the perspective of the application of line basic data in the train control system and the system requirements,and summarizes the characteristics and correlation structure of the line data.Combined with the updating requirements of line data,the structure of the line data model and the specific data phase point are designed and described by Rail ML.(2)Extract data model rules and design validation schemes.According to the characteristics of line basic data and data model,the rules of data model compilation are extracted.The rules include data attribute rules,topology rules,and the expert experience which abstract manual line data compilation from the generation process.And extract the framework of programming rules from the manual programming steps,both of these two rules complete the whole data model generation rules.In order to ensure the correctness of the data model,a verification scheme is designed for the line data model according to the application requirements of line data in the train control system,which is the basic for the modeling and verification of data model generation rules.(3)Modeling and verification of data model generation rules and verification schemes.This paper studies the modeling and verification methods of model formulation rules and verification schemes.The UML language is used to establish the basic model of model generation rules and verification scenarios,and the model is transformed into Nu SMV formal model for verification.Through repeated iteration of the model,the model generation rules and model verification schemes that meet the system requirements are finally obtained,which ensures the completeness of the data model generation rules.(4)Development of software for automatic compilation and verification of line data models.Based on the verified data model generation rules and verification schemes,the data model automatic generation and verification tool was developed.Finally taking the actual line data as an example to compile and verify the line data model,the software ensures the accuracy and completeness of data compilation.