A Simulation Based Approach for Rationality Verification of Test Sequence for CTCS-3 Train Control System

摘要

A CTCS-3 train control system is the key equipment for guaranteeing the safety, reliability and efficiency of high speed railway. Test sequence is the important document to guide the testing for train control system. Manual preparation of test sequence is characteristic of low efficiency and high demand for professional expertise, so it is difficult to guarantee the rationality of test sequence. This paper proposes a simulation based approach for rationality verification of test sequence. Firstly through analyzing the generation process of test sequence, the rationality criteria are obtained; secondly a rule base is built to store the rules used to verifying the rationality of test sequence; finally a train operation simulation environment is established for verifying the rationality of test sequence. Several key issues such as rationality criteria, rationality rules, rules base, and verification strategy are addressed.