Research On Rule-based Data Analysis And Verification For CBTC

Communication Based Train Control (CBTC) is the tendency of urban rail transit train operation control system. There are a large amount of data interchanges in CBTC subsystems. As the carrier of railway data information including trains and devices states, data plays an important role of CBTC. And the accuracy and responsibility of data are the important guarantee to ensure the safety and efficiency for train. With the improvement of system function and complexity, data quantity increases obviously, and higher requirements of the accuracy and responsibility of data are badly needed. Therefore, based on the characteristics of CBTC data, the thesis proposes a complete set of methods for data analysis and data verification, the availability and feasibility of which are demonstrated through verification of real data by Timed Automata.The thesis emphasizes on several aspects as follows:Firstly, the thesis analyzes the line network data, basic equipment data and functional data of CBTC based on every phase in data development cycle; and obtains the strategy of data verification. It analyzes the impact of architecture of CBTC and the form of engineering data. In addition, according to data organization, it derives the inherent characteristics of CBTC data.Secondly, on the analyzation of CBTC data, the thesis summarizes the incidence relationship and restraint rules of system data. Based on the data requirements and the form of engineering data, it built the rule library on the perspectives of attribute domain, incidence relation and topology relation, combined with the characteristics of data. Thirdly, with the timed automata theory and model verification tool UPPAAL, the thesis models the rule-based verification architecture and forms an automatic verification mechanism of data. There are two steps:step1is data modeling; step2is to describe the rules in formal language. Then it proposes the assessment criterion for CBTC data verification.Finally, the thesis applies the rule-based verification technology into a real system. Combined one of the centralized stations of Beijing subway Yizhuang line with VOBC subsystem, it verifies data on the aspects of data itself and inquiry function. The result indicates that rule-based verification technology is of feasibility and adaptability for CBTC.