Research And Implementation Of Interlocking&Train Control Integrated System Based On SCADE

Under the background of the rapid progress of China’s railway-related technologies,signal system integration has become the mainstream of rail transit development.As the key equipment in the train operation control system,the interlocking and train control center are responsible for ensuring the safety of driving,so the research on the integrated system of interlocking and train control has very important practical significance.The integrated system is a safety critical system that must meet the SIL-4 level security requirements.It is difficult to develop using traditional development methods,and it is difficult to find potential errors and security risks.The Safety Critical Application Development Environment(SCADE)provides a complete model-based embedded development solution for critical systems and software developers to reduce development costs,development risks and verification time.The integrated system is researched and implemented based on SCADE in this thesis.Model design and simulation verification of the integrated system function module are completed to ensure that the function of the integrated system is implemented correctly.The research contents of this thesis are listed as follows:(1)The software development method based on SCADE development environment is researched.The theoretical basis of SCADE and the "Y" development process are expounded.The modeling method of SCADE data flow graph is further analyzed and the research process of the integrated system based on SCADE is proposed.(2)The system principle and external interface of interlocking and train control center under CTCS-2 and CTCS-3 train control system are analyzed.The similarities and differences between the two control systems are compared.The feasibility of integrating interlocking and train control center is explored and the specific design of the integrated system is proposed.(3)The integrated application software design is completed,including software structure,function module division and data structure and the overall architecture of the integrated application software is built.The SCADE model of the functional modules is designed.(4)The simulation and coverage analysis of the established models are completed by using SCADE simulation and verification tools and the correctness of the models is verified.Engineering-oriented C code is automatically generated through the code generator.This thesis demonstrates the typical scenario of the integrated system in detail and analyzes it,verifies the validity of the typical scenario,indicates that the designed system meets the expected functional requirements.It has been verified that the development of the integrated system using the SCADE development method can meet the stringent requirements of the integrated system for safety.Accordingly,SCADE has a good application prospect in the development of train control system software.Figure 70.table 27,reference 40.