Research On The Method Of Keeping The Safety Of Zone Controller System Data

Zone Controller (ZC) plays an important role in Communication Based Train Control (CBTC) system. ZC calculates the Movement Authority (MA) for the trains controlled by it, so the data in ZC is safety critical. It is very important to guarantee the safety of the data in ZC.This paper mainly introduced the data safety for CBTC system, and proposed a pertinence safety method for the entire ZC sub-system. We inducted the concept of the object-relation database form the initial date of line, and used the constraint relation of the data and the topological relation of real line to design the database. Then we introduced multi-version of control system for the update and modify of the database, and implemented the real-time monitoring and update for data with the version distribution of database. The usage of double 2-vote-2 in hardware system of CBTC is able to get safety insurance for the system. In this paper, we inducted a relatively new method for the function module of ZC to get the insurance of data safety. CRC check is used for the safety of data transmission, and we verified the data of ZC in this paper. Line information data language is the model language for the data of line, it is able to build the strict standard model for the data of line with the use of strong logic, and analyze the safety of the model for line data with formal method. We proposed the method of reverse search for the information of MA to make sure the safety of it, which is generated by ZC. This method can provide the reference proofreading for the redundancy data of the system, which guaranteed the correctness and availability of the data.