Research On Time Delay Performance In High-speed Train Control System Scenarios Based On Online Testing Method

ABSTRACT:Train control system is the core system to ensure the safety of high-speed railway. As a typical safety-critical system, once the train control system fails, it will cause serious harm on human lives and property, so it is especially important to ensure the security of the system. As a typical real-time system, its functional correctness is not only reflected in the accuracy of the output logic, but also reflected in specific time constraints in terms of correspondence process. Our country’s high-speed railway train control system uses a large number of advanced computer, control and communication technology, which make that the degree of automation, control precision and response speed has been greatly improved, but also add to the complexity of system structure. The internal interface between every subsystems, the interface between subsystems and the information interactive relationship make system represent massive and various time hybrid characteristics. Therefore, how to ensure the functional correctness of the high-speed train control system with non-deterministic corresponding delay is of great importance.With increasing system complexity and interaction, traditional offline testing method, which has been widely used in train control system’s functions conformance testing, however, is insufficient to describe the non-deterministic latency restricts in physical environment. In this paper, an online testing method is proposed and the online testing platform based on environment related input and output networks of timed automata is designed which is used for researching operational scenarios.Firstly, on the basis of CTCS-3train control system specification, train control system framework of hierarchical model is constructed and the environment related input and output time automaton network model is built by analyzing the observable message channel between the various subsystems of the specific operational scenario.Then, based on the interface specification between RBC and other various subsystems (including the interface between ground equipments through the safety data network and the interface connedted to on-board system through GSM-R network), the observable session messages’s time constraints, message formats and communication protocols could be analysed and build as adaption interface between the online testing tool and actual equipment. Using the process monitoring module, TRON command line can be called and real-time interface messages can be refreshed dynamically. The preliminary analysis of the test results feature could be displayed through the online test platform.Finally, the typical train control operation scenario RBC handoff latency uncertainty in RBC direct communication and indirect communication through interlock is verified with the help of the online conformance testing platform. And inconsistencies are found between system design and specification, which could provide a reference for CTCS-3train control norm-setting and system development.