Research And Application Of ARTiSAN Real-time Studio In The On-board TMR System Of CBTC System

With the current urgent demand of developing embedded real-time systems, a new development method of ARTiSAN real-time perspective (RtP), as well as a modeling tool of ARTiSAN Real-time Studio (RTS) based on real-time UML, was brought in to improve the disadvantages in current modeling methods, reduce the complexity of development and shorten the development cycle.In the paper, the concepts and classification of fault-tolerant technology were introduced, as well as the application in railway traffic signal system. Then the object-oriented modeling technology and the application of UML were researched, the need of generating code automatically by UML model was analyzed.In the paper, the architecture and development process of RtP were elaborated. Then the selection of embedded real-time systems development environment was analyzed, and the code generation and synchronization platform under RTS was described. Through the introduction of RtP and RTS, as well as the comparision with traditional method and tools, the reasons and advantages of RtP and RTS were understood. Finally, the diagram types and profile mechanisms of RTS were introduced.In the paper, based on modeling design and analysis methods of RtP, CBTC on-board TMR system was researched exploringly. Firstly, the application feasibility of RtP was analyzed, then the requirements and solution architecture analysis and the model behavior verification were built with RTS. Thus the process from system requirements analysis to modeling realization was realized primarily .The whole process followed the architecture and development process of RtP, making the system defects can be caught earlier, reducing the risk of the system to ensure the safety and reliability.In this paper, the methods and technologies of automatic code generation were researched, as well as the code generation process under ARTiSAN C++ Synchronizer, and the primary application for on-board TMR system was processed. Firstly, a UML profile was defined and the effective information of the class model was extended, then code generation and synchronization applications were built. Finally, existing problems were analyzed and summarized, and simulation test under VxWorks was processed.