A Simulation Based Approach for Rationality Verification of Test Sequence for CTCS-3 Train Control System
Yong Zhang, Jingqiang Han
Available Online March 2016.
- https://doi.org/10.2991/icmmct-16.2016.128How to use a DOI?
- CTCS-3 Train control system; Test sequence; Train operation simulation; Rule base; Rationality verification; Verification strategy
- 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.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Yong Zhang AU - Jingqiang Han PY - 2016/03 DA - 2016/03 TI - A Simulation Based Approach for Rationality Verification of Test Sequence for CTCS-3 Train Control System BT - Proceedings of the 2016 4th International Conference on Machinery, Materials and Computing Technology PB - Atlantis Press SP - 653 EP - 661 SN - 2352-5401 UR - https://doi.org/10.2991/icmmct-16.2016.128 DO - https://doi.org/10.2991/icmmct-16.2016.128 ID - Zhang2016/03 ER -