|
With the rapid development of wireless communication technology , wireless communication , reliability , availability, greatly improving communication based train control (Communication Based Train Control, CBTC) system came into being , has become the development trend of the train control system . CBTC system appear , both from a functional or performance with respect to the the traditional train operation control system has been a huge upgrade and improvement . Urban rail transit CBTC system 's main task is to ensure the safe operation of the train line system control , which is done by a mobile authorization (Movement Authority, MA) for each column communication train . Therefore , to generate reasonably safe , MA , is the key to guarantee the normal operation of the entire system . Firstly, starting from the meaning of the MA , detailed needs analysis is carried out to generate the MA area control center system ; elaborated from the resources, structure and data flow , and other aspects of the generation principle of the MA ; correlation algorithm proposed MA . The paper then the the MA generated model . Formal modeling method based on colored Petri net (Colored Petri Nets, CPN) Through the use of hierarchical modeling techniques to MA students become the object of study , as a model subject to regional control center , CPN Tools tools to create a system layer , processing layer and function layer , three-layer model , and the reduction method for the simplified model complexity . Analysis method based on the state space of the model should have the functionality and completeness of the analysis and validation , which provides a theoretical basis for the design of application software for the regional control center system . Finally, in accordance with the development of the software life cycle model , based on the establishment of the system architecture model based on the VxWorks real-time operating system and the twice two take two security computer platform development environment , complete the detailed design of the Regional Control Center application software to achieve MA generated function ; through the design of a variety of test cases and, ultimately, the quality of the application software .
|