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

DOI

10.2991/icmmct-16.2016.128How to use a DOI?

Keywords

CTCS-3 Train control system; Test sequence; Train operation simulation; Rule base; Rationality verification; Verification strategy

Abstract

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.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

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  - 10.2991/icmmct-16.2016.128
ID  - Zhang2016/03
ER  -