Proceedings of the 2016 4th International Conference on Machinery, Materials and Computing Technology

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

Authors
Yong Zhang, Jingqiang Han
Corresponding Author
Yong Zhang
Available Online March 2016.
DOI
https://doi.org/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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Volume Title
Proceedings of the 2016 4th International Conference on Machinery, Materials and Computing Technology
Series
Advances in Engineering Research
Publication Date
March 2016
ISBN
978-94-6252-165-0
ISSN
2352-5401
DOI
https://doi.org/10.2991/icmmct-16.2016.128How to use a DOI?
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  -