Design And Implementation Of Vital Code And SCADE Based ATP Safety Software

As the demands of urban railway transit increase with the population growth in the big cities,ATP(Automatic Train Protection)system is playing more and more important role in protecting the lives of passengers as well as ensuring the safety of travelling.The research and development of safe and reliable ATP software is necessary.The paper aims at designing and developing vital code and SCADE based ATP software.The design,implementation and test of the ATP software confirms that the new solution meets the expectations of its functions.The main researches of the paper are as below:Firstly,the paper reviews the history and status in quo of Automatic Train Control System,and discusses three main research directions of the ATP software development.Based on the research and the technologies employed on ATP software,the paper proposes the solution of combining vital code and SCADE model to develop a more safe and reliable ATP software.Secondly,the paper uses 2*2OO2 safety redundant platform as the hardware foundation to develop the ATP software.It develops the synchronization methods between ATP software running in two CPUs.Based on the study of conception and principle of vital code processor,the paper analyzes the requirements and designs the architecture of vital code processor.Thirdly,the paper analyzes the external interface and the requirement specifications of ATP software.The ATP software is composed of modules such as the Train localization module,the Protect and help passenger module,the Manage train movement module,the Manage driving mode module and the Train monitoring module.In addition,the ATP embedded software architecture is designed.Fourthly,the ATP software SCADE model is built,including the Train localization module and the Train monitoring module.The former module includes the Odometer status management module,the Radar speed combination module and the Train localized status management module.Finally,the paper tests the functionality and safety of the software.It verifies that the developed ATP software is consistent with the requirement specifications,as well as confirms the consistency of theoretical error detection rate using the vital code processor.In summary,the paper validates the feasibility of the proposal of developing safe and reliable ATP software based on the combination between vital code and SCADE model.