Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework

The Automatic Train Operation System (ATO) is an important part in the Communication Based Train Control System (CBTC). It is important to verify the correctness and safety of its control logic functions. In this paper, a timed automata online conformance testing framework based on UPPAAL-TRON has been introduced to test the ATO software. The conformance of the real ATO software and its time automata specification model has been tested. Thus the safety control logic functions are verified according to the mutation analysis, which mainly focuses on the typical faults in the real ATO software, such as the wrong safety distance, inconsistent static speed constraint, functional logic failure and the loss of command, etc. The experimental results show that the online conformance testing framework can detect the inconsistency between the real ATO software and its specification model, which can effectively improve the error detection capability of the functional testing on ATO.