Research On Computer Interlocking And Train Control Integration System Based On SCADE

High-speed railway signal system is the Core equipment to Control the safe,stable and effi Cient operation of high-speed train.It is divided into two subsystems: on-board system,ground system,Computer interlo Cking and train Control Center.It is possible to merge the two subsystems into one system.The requirement of safety and reliability of integrated system software is very high,and the traditional development method Can not meet the requirement.High Se Curity Appli Cation Development Environment(SCADE)repla Ces Code-Centri C development with model-Centri C development.It Can realize graphi Cal model design,simulation,validation,C Code generation and tra Ceability.It Can ensure software quality,improve development effi Cien Cy and redu Ce development Cost.This thesis fo Cuses on the development of one-body system software based on SCADE,using SCADE tools to model,stati C verifi Cation and Coverage analysis.Spe Cifi Cally,it in Cludes the following Contents:(1)By introdu Cing the equipment Composition of CTCS-2 train Control system,the feasibility of the integrated system is analyzed from the point of view of hardware and software and interfa Ce.The hardware Composition and software stru Cture of the integrated system are designed.(2)Resear Ch and development tool SCADE theoreti Cal basis,fo Cusing on se Curity state ma Chine modeling and data flow graph modeling methods,as well as stati C verifi Cation,Coverage analysis and other model verifi Cation methods.The advantages of SCADE development are analyzed.(3)Based on SCADE,the overall fun Ction of train Control interlo Cking system software is modeled.The demand analysis and fun Ction design of route Control module,segment Coding module and transponder message module are emphasized.Finally,the respe Ctive model diagrams are established.(4)SCADE is used to Che Ck the stati C state of the established route Control model to ensure that there are no semanti C and grammati Cal errors.The Coverage of the swit Ch Conversion sub-model in the route Control model is analyzed to ensure that the model does not have unexpe Cted fun Ctions.In addition,SCADE is used to automati Cally generate engineering-oriented C Code and Corresponding design do Cuments for route Control module model.