Design And Implementation Of Platform Adaptation Layer Of Universal Interlocking Software Based On Scade

The railway safety control system is a safety-critical system that uses technical means to control the train running direction,running interval,and running speed.The station interlock is the ground core subsystem of the railway safety control system that controls trains in the station.According to the railway safety control software industry standard EN50128,the station interlocking must have the highest safety integrity level SIL4.Because each country has different technical standards,even different stations will have different requirements,extremely high security,changing technical standards,diverse requirements,and complex control logic inside put great pressure on developing interlocking software.Traditional development methods use natural language and graphics to describe the requirements and design of the system,use manual analysis,review,and testing to ensure the system meets the functional and safety requirements.However,it is likely to introduce ambiguity,errors,make developing and tests inefficient and high modify cost.The model-based formal method can effectively solve the problems in the traditional development method:the formal language is used to accurately define the system behavior and avoid ambiguity;the formal verification is convenient to check the system security;the model-based development method can be more clearly described system,to perform earlier and more effective verification;automatically generate code to increase development efficiency and reduce manual errors.SCADE suite as a model-based formal development representative tool has been widely used in system development in various security control fields.The goal of this project is to use SCADE tools to develop universal interlocking software.In order to reconstruct the existing interlocking software,develop a universal,modular,and extensible software architecture,we divide the interlocking software into platform adaptation layer software related to specific inputs and outputs and complete interlocking operation core logic.In this paper,we use SCADE suite to design and implement the platform adaptation layer of the universal interlocking software.In this paper,the requirements analysis and outline design of the platform adaptation layer are carried out in accordance with the SCADE software development process.The SCADE model is used to implement data processing,communication protocols,communication methods,safety redundancy and other platform adaptation layer logic which is related hardware platforms and communications in the interlocking software,and to implement universal and adaptable interlocking core logic interface.An easy-to-use integrated test environment is built for model simulation and code integration.Finally,the feasibility of the platform adaptation layer is verified on the secure computer hardware platform,and a set of feasible solutions is provided for SCADE to develop the interlocking software platform adaptation layer.