Modeling Research Of Zone Control System With MDA

Communications-based train control (CBTC) is an automated control system for railways that ensures the safe operation of rail vehicles using data communication between various control entities that make up the system. As a core equipment of CBTC, Zone Controller(ZC) plays an important role in ensuring intervals between trains and the safe operation of trains. ZC which directly relates to life and property safety of passengers, is a typical safety-critical system (SCS)SCS requires more integrity and security, which leads to targeted research on analysis and design methods of system. This article describes the characteristics of object-oriented analysis and design method based on model-driven architecture, and then describes the basic concepts, development methodologies, software life cycle and development advantages of model-driven architecture.A detailed analysis of system requirements is a prerequisite to establish a reliable system. By introducing the basic structure and block mode of CBTC, this paper confirms that ZC plays an important role in CBTC, and then analyzes ZC system security requirements, functional requirements and reliability maintainability needs, that lays a solid foundation for modeling ZC System.The establishment of model is one of the core tasks of model-driven development, in the model-driven development, the quality of models determines the quality of system finally generated. This article models ZC System with from top to down ideas, object-oriented analysis technology and formal methods. The formal methods used in modeling can effectively eliminate contradictory, ambiguous and vague while designing the system and improving the integrity of the system model to ensure the ZC system can meet the functional needs and security requirements in the system design stage. Finally this paper verifies ZC models with testing and validation tools provided by Rhapsody to make sure that the system models are reasonable and proper. In the early stages of design development and design flaws using MDA, detecting bugs and making corrections as early as possible can reduce development and maintenance costs and improve the system's integrity and security.