Modeling And Verification Of Train Control Data Based On XML And Prolog

As the basic data of Train Control System,train control data is an important part of Train Control System,and its correctness directly affects the security of the Train Control System.Once an error occurred in the data,failure to detect it in time could easily lead to abnormal operation of the train control system and endanger traffic safety,resulting in economic losses and casualties.With the development of the railway industry,the issue of data security have attracted much attention in the face of the more efficient and safer development requirements.At present,all railway departments and equipment manufacturers define their own data formats according to their own needs and use them to develop and design systems,which affects data sharing and software interoperability and hinders the development of the railway industry.At the same time,the train control data has the characteristics of large volume and close relationship.However,due to the lack of a unified data format,there is a large amount of data conversion in the entire life cycle of the train control data in the stages of data processing,data configuration and data management.Hence,to develop a simple,efficient and verifiable strong standardized description method becomes an overwhelming trend.At present,the verification methods of train control data in China mainly adopt manual verification and integration testing.When encountering problems of new lines,line optimization,design changes,etc,the above-mentioned verification methods will face the severe challenges of tight schedule and heavy task.Therefore,it is very important for the entire Train Control System to find an efficient and correct method for verifying the control data.The research contents of this paper mainly include the following aspects:Firstly,we deeply understand all components of the train control data and the relationship between the data according to all aspects of the life cycle of the train control data,and a data standardization format based on XML is proposed.The format is hierarchically managed by a tree structure,and the data relation is constructed in the form of nodes,which is easy to realize the data design,updating and maintenance,and meets the requirements of data exchange,sharing and unified management.Secondly,based on the analysis of train control data,through the thorough study of all kinds of railway technical documents,combined with the field expertise,the range rules and logic rules of train control data are extracted.Then,the regular expression extraction and matching algorithm and the Apriori algorithm of data mining are used to discover data exclusive rules and association rules,and the rule base of data verification is constructed.Thirdly,a train control data verification method based on Prolog is proposed in this paper in view of the problem of data verification.Namely,the knowledge base model of data verification is constructed by Prolog language,and the automatic verification of train control data is realized by the verification tool XSB.There are two steps of the method:one is to transform the data that needs to be verified into facts;the other is to transform the rule base into knowledge and use the above algorithm to improve the self-learning ability of the knowledge base.Fourthly,this paper verified the data of Wuhan-Guangzhou Railway line based on the data of Zhengzhou-Xi’an and Chengun-Guizhou Railway lines.The result shows that the train control data verification method based on Prolog has high efficiency and accuracy.Finally,In view of the method proposed in this paper and the analysis of software requirements,the corresponding data management modules are provided by C#software design to provide technical support for data management and verification.The main functions include data conversion,data updating,station map display and so on.