Computer Aided Design And Verificaation Method Of The Engineering Data For Train Control System

Train control system is the core equipment to supervise and control train’s speed,which ensures the safety,punctuality and efficiency of train operation.Nowadays,the engineering data for train control system ismanually designed and prepared.Data models are diverse between different subsystems.The lack of a unified data model makes data interaction difficult and data verification insufficient between subsystems.In the meantime,there are many problems about the cost and efficiency of development as well as the quality of design in manual work.Data is crucial for the correctness of the Chinese Train Control System level 3(CTCS-3)software since it involves large amounts of infrastructure data and logical control data.Therefore,it isvital to research the modelling and verification of data.The main work of the paper is as following:(1)Structure and functional data requirements of CTCS-3 is analyzed in this paper.Inherentcharacteristics and organization of railway line data are derived from the line network data and basic equipment data of train control system.Rational and effective data description method makes the management convenient and functionally stable.(2)A modeling method based on topology data for train control system is proposed.The paper analyzes the application of graph theory in the data model.Static data and topological relation are derived from the station layout.The data structures and relationships are designed.A united description of railway line data is realized based on the topology data model.(3)According to the data requirements of CTCS-3,we summarize the attributes that need to be verified in the basic line data,including the validation of range attributes and the verification of topological relations.Algorithm for finding simple paths is used to obtain the simple paths in the topology model.In order to represent the railway topology in a realistic way,a modified matrix algorithm based on graph theory obtains all of the correct routes in a given station,which can bu used to verify the accuracy of the route data effectively.(4)Computer aided design function of the data for train control system is designed,a graphical tool for structured data generation and verification is developed by the method of C#and C mixed programming.The tool can realize the basic function of computer aided design and verify the generated train control data,which improves the design efficiency and quality of railway signal systems.Modeling and verification method of topology data for train control system studied in this paperis a realization of the unified description and verification of the engineering data for train control system.By using the improved matrix algorithm,the accuracy of the route data is verified.When the layout of a station is changed,the new route information can be acquired automatically by updating the topological data of this station.It is an effective improvement for the design efficiency and quality of train control system.