Research On Train Control Center And Interlocking Integrated System Based On SysML And Colored Petri Nets

At present,in the field of high-speed railway signal in China,the automatic control of section signaling and station signaling is realized by train control center(TCC)and computer-based interlocking(CBI)respectively.However,with the continuous maturity of high-speed railway signal technology,the separate configuration of TCC and CBI gradually presents many disadvantages,such as many interface fault points,non universal modules,poor real-time communication and so on.Train control center and interlocking integrated system(TIS)integrates TCC and CBI into one system,effectively avoids the disadvantages caused by separate configuration,and realizes all functions of TCC and CBI.Train control center and interlocking integrated system is the development direction of high-speed railway signal system in China.Train control center and interlocking integrated system is still in the experimental stage,the technology is still not mature.System requirement engineering is the starting point and foundation of train control center and interlocking integrated system design and development.Modeling and analysis of system requirement specification is an effective means to improve the quality of specification and reduce the risk and the cost of system development.Because the design and development of Train control center and interlocking integrated system is based on the requirements specification of natural language,inevitably,some vulnerabilities or semantic ambiguities are exposed,and the adverse effects are brought to the design and development of the system.The objective of the thesis focuses on train control center and interlocking integrated system,adopts model based systems engineering(MBSE)design method,and uses systems modeling language(SysML),train control center and interlocking integrated system is modeled.Based on the conversion rules between SysML model and colored petri Nets(CPN),SysML activity graph model is transformed into CPN model and verified by simulation,then the model design method of train control interlocking system is studied.The thesis mainly completed the following contents:(1)Based on SysML,the design route and framework of the requirement,structure and function model of train control center and interlocking integrated system are proposed.The design process of the integrated train control interlocking model is divided into four stages:requirement analysis,static structure design,dynamic function design and model verification.(2)According to the requirements specification of train control center and interlocking integrated system and the technical specification of relevant railway signal system,in the requirement analysis stage of model design,SysML requirement diagram and use case diagram are used to describe the function,structure and safety requirements of train control center and interlocking integrated system,and the general requirement diagram and use case diagram of train control center and interlocking integrated system are established,It is also used to guide the model design in the subsequent stages of static structure design and dynamic function design.(3)In order to design the static structure of train control center and interlocking integrated system,the logical structure and physical interface of the system are described by using block definition diagram(BDD)and internal block Diagram(IBD),then the combined structure diagram,external interface diagram and internal structure diagram of train control center and interlocking integrated system are established.(4)In order to design the dynamic function of train control center and interlocking integrated system,according to the advantages and characteristics of train control center and interlocking integrated system,the requirement analysis of the direction control scene,the side line receiving route handling scene,the temporary speed restriction and signal reduction processing scene,and the occupation logic inspection scene participated by the system are carried out,tnen the SysML requirement diagram is established.According to the work flow of train control center and interlocking integrated system in the scene,the SysML activity diagram is used to model the scenarios of direction initialization,change of direction,side line receiving route handling,temporary speed restriction setting,signal reduction processing,occupancy inspection and clearance inspection respectively,then the dynamic function of train control center and interlocking integrated system is designed.(5)In view of the strong description ability of SysML but lack of certain verification ability for dynamic function model,according to the conversion rules between SysML model and CPN model,the activity diagram model of train control center and interlocking integrated system is transformed into CPN model.Then,the logic and correctness of the CPN model are simulated and verified by CPN Tools,and the coverage of the model to various requirements in the requirements analysis stage is analyzed.