Research And Implementation Of Computer Based Interlocking System Design With Model Driven Application

Computer based Interlocking system(CBI) is an important part of railway transportation, which bears important task to direct train running,to ensure running safety and improve efficiency. CBI controls switch, route and signal to realize the scheduling of trains. With the development and application of computer technology in interlocking system, not only the basic safety requirement has be metioned, but also that the special function, higher safety, lower hazerd and reliability are more necessary. So we use MDA design method to develop interlocking software, it provides a new idea to improve the accuracy and efficiency of software development.Firstly, the paper presents each formal method and theory which are implicated on embedded system development recently. Focus on their advantages and disadvantages to find one method which is best for interlocking system development. Timed Automata can replace traditional requirement written of embedded system software to improve efficiency.GKI-33e interlocking system is research object of this paper which is designed by GOCOM, we analysis its process of route handle according to EN standard. This paper describes safety requirement and function requirement of GKI-33e system to model route-control process.We build five models by UPPAAL software to describe five steps in route-handle process. Finally, establishing timed automata network. Formal modeling based on timed automata describes logic behavior of system using directed graph and real-time performance by the time constrains, thus avoiding inconsistencies, ambiguities and incompleteness in design of interlocking software.Finally, Timed automata network of route-handle process is simulated and verified in UPPAAL. The result shows that the formal modeling with Timed Automata model and its tools can effectively reduce the fault in system design, provide reference and guidance for design of interlocking software.