Modeling And Analysis Of Interlocking & Train Control Integrated System Based On AADL

In the structural composition of the Chinese Train Control System(CTCS),the Computer Based Interlocking(CBI)and the Train Control Center(TCC)are the key equipment responsible for the safety and efficiency of the station and section respectively.Because of the structure of the separation and setting of the two equipment,the CTCS gradually exposed the problems that affect the safety and efficiency of driving,such as the complex phenomenon of fault representation,the limitation of information transmission and the increase of maintenance workload.Focusing on the above problems,it has great practical significance to study the interlocking and train control integrated system for improving CTCS technology meet the demand of railway transportation.Based on the research of documents on the design of CBI and TCC,the design scheme of interlocking and train control integrated system is proposed.Integrated system and related systems model are built by using Architecture Analysis and Design Language(AADL),and analyzing the integrated system from the perspective of the whole system.The AADL model of the route management function in the integrated system is transformed into the Generalized Stochastic Petri Net(GSPN)model.Analyzing the reliability of the functional model verifies that the integrated system meets the design requirements.The main research work of the thesis is as follows.Firstly,the structure and working principle of CTCS-3 are studied.The structure,function and communication interface settings of CBI and TCC are deeply analyzed,and the problems arising from the structure of separate settings are discussed.By analyzing the similarity of the two systems,the feasibility of system integration design is discussed.According to the design requirements for the integrated system,the specific design scheme of the integrated system is put forward.The design plan details the main components and functions of each layer of the system structure,data transfer within the system and the setting of the communication interface between the system and external equipment is described from three aspects: interface mode,communication protocol and interface direction.Then,according to the AADL modeling process,the elements of the integrated system model are selected,and the model is built on the basis of the interactive connection of software and hardware in the system.Following the above steps,the models of the main ground equipment of the CTCS-3 are constructed respectively,and the AADL model of the whole system before and after integrated is built by associating each equipment model.Using modeling tools to analyze the model from three aspects: architecture,delay and scheduling,and the simulation results are simply collated and compared.The results show that the integrated system meets the design requirements,and the integrated design helps to improvethe performance of the whole system and to provide support and reference for the researches of the integrated system.Finally,the AADL model of route processing function is constructed by analyzing the process of function in integrated system.According to the model transformation rules,the GSPN model is transformed from AADL model.Taking the design standard of the signal system as the parameter,the availability of the model is calculated by using formal tools.The results show that the availability of the functional model of the integrated system meets the design requirements and provides reference for the reliability research of the subsequent integrated system.