UML Model And Validation Of Zone Controller Movement Authority

As an important part of rail transportation operation system, ZC (Zone Controller, ZC) has become a part of the main mark of modern rail transportation. The main research trend of rail transit system in the future is the rationality and security of the system design and development.Combined with the specific function of ZC software requirements and UML(Unified Modeling Language) Modeling mechanism, the thesis used UML to set up ZC Movement Authority(MA)calculation model and realized the function of the model validation. UML establish a model of MA for ZC system and typical scenario respectively. Through formal methods to abstract and analysis MA function module can organize complex logic system effectively and ensure the corresponding relationship between system requirements and models. The design specification of the model to code is based on the features of UML modeling mechanism, the static model is for code framework and the dynamic model is for the detail of the functional verification code so as to realize the height specifications and fit between models and codes. Finally, according to the characteristics of line data from the urban rail transit system and related theory of software engineering, a set of simulated data was used to build a whole line map to realize the function of UML model validation. Simulation program completely achieved the management of more than one train at the same time within the scope of one ZC, realize the MA calculation of the train in the station, the MA calculation for tracing scenario between trains with different state, the MA calculation at the boundary between neighboring ZC, the MA calculation at the reverse scenarios and the MA calculation and processing at CBTC (Communication-based Train Control, CBTC) equipment under abnormal conditions. At the same time, aimed at the unreasonable part of the translation between models and codes for MA calculation, the UML models can be modified. finally make model and validation process realize all the expected design functions.Thesis applied UML to the train control system, used the model logic definition and the visual of relationships to contribute the UML models of MA computation at typical scenarios. UML model provide the reference standard by model-code transformation rules and improved communication and exchanges between the software designers and developers for MA calculation software. Model and function verification certificate, through UML model can realize the function of system design requirements well, the code from the model and the implementation process can realize the MA calculatation of expected scenario clearly and completely through VisualStudio2010simulation platform.Therefore, UML modeling tools used in the development of the train control system has a certain practical significance, the other CBTC subsystems can also do some similar application.