Fault Model-Based Safety Test Method and Application for CTCS-3 Train Control System

DOI

10.2991/iccnce.2013.90How to use a DOI?

Keywords

Safety Test, CTCS-3, Fault model-based.

Abstract

As a safety critical system, train control system matters in passengers life and properties. It is important that how to guarantee the safety of train control system. Safety testing is an effective method to detect the safety holes and bugs in the system. However, most safety testing for train control system is manually executed based on expertise, which leads to a huge testing workload. Besides, manual generation will easily cause the problem of missing test cases.

Copyright

© 2013, 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  - Yu Liu
AU  - Tao Tang
AU  - Kaicheng Li
AU  - Chenling Li
PY  - 2013/07
DA  - 2013/07
TI  - Fault Model-Based Safety Test Method and Application for CTCS-3 Train Control System
BT  - Proceedings of the International Conference on Computer, Networks and Communication Engineering (ICCNCE 2013)
PB  - Atlantis Press
SP  - 359
EP  - 362
SN  - 1951-6851
UR  - https://doi.org/10.2991/iccnce.2013.90
DO  - 10.2991/iccnce.2013.90
ID  - Liu2013/07
ER  -