Functional Verification Of Train Control System Under Complicated Scenario

The Train Control System is an automatic system which plays an import role in assuring safety and improving efficiency in railway. The train control system has complex secnario and control mode (for example, CTCS-3 train control system has fourteen operation scenarios and nine modes), it’s important to assure the functional correctness of the train control system working under complex scenarios, especially under complicated scenario combined by several operation scenarios.Based on Simulink/Stateflow and timed automata, starting from scenario-based method, a method to prove the functional corressness of the train control system working under complicated scenario is proposed.(1)Firstly, typical operation scenarios of CTCS-3 train control system are analysed. Combined with scenario-based method, the relation among operation scenarios and the interactive process of subsystems are researched.(2)Secondly, based on timed automata, modeling and verification theory of the train control system’s operation scenarios is researched.According to the responding timing flow, functional correctness of the train control system working under single operation scenario is proved through establishing the model of the train control system working under Level Transition scenario (CTCS-2 to CTCS-3) and Mode Transition scenario (FS mode to OS mode) respectively, using timed automata.(3)Thirdly, a method to model the train control system working under complicated scenario is researched, based on Simulink/Stateflow. Rules of composition are proposed, and simulation model of CTCS-3 train control system working under complicated scenario is established. Taking the complicated scenario where Level Transition scenario and Mode Transition scenario are combined as an example, according to the rules of composition, interactive process of the train control system working under the complicated scenario mentioned above is obtained, then the interactive process is analysed through simulation.(4)Finally, functional logic of the tram control system working under complicated scenario is modified and verified. Starting from simulation method and formal method, the functional logic of the train control system working under the complicated scenario, which is modified, is verified. Firstly, Simulation analysis of the train control system working under the complicated scenario is taken, which indicates that the train can runs normally. Secondly, model of the train control system working under the complicated scenario is established, the functional correctness of the train control system is proved through analyzing the accessibility of the property of the train’s normal running.