Modeling And Analysis Train Management Of Zone Controller In CBTC

Accompany with the progress of wireless communication technology, the reliability and availability of wireless communication are highly improved. Communication Based Train Control (CBTC) has become the trend of urban railway traffic control system in modern times. CBTC system is independent of railway circuit, applying high resolution train location determination and continuous, high capacity, bi-directional train-to-wayside data communications, controlling train through train-borne and wayside processors.CBTC wayside Zone Controller plays an important role in assuring safty of train management. ZC contributes real-time data transmission with other subsystems and controls trains with moving authority (MA). There is great meaning of studying Zone Controller train management.The paper starts with the research of Zone Controller train management, according to requirement of system function, analyzes system principle in architecture, resource and flow. The author introduces process of multi-train management based on the purpose of manage.In this paper, we use formal modeling method based on Hierarchal Time Colored Petri Net, analyses the feasibility of modeling and models CPN with Top layer, data transmission layer and MA calculate layer. Improve and simplify the CPN, then simulate the model. We use state space analyze method to validate rationality of system design and correctness of data transmission. This work can help us to construct a more consummate system model of Zone Controller, and provide theory proof of Zone Controller System software realizing.