Proceedings of the International Conference on Computer, Networks and Communication Engineering (ICCNCE 2013)

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

Authors
Yu Liu, Tao Tang, Kaicheng Li, Chenling Li
Corresponding Author
Yu Liu
Available Online July 2013.
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)

Volume Title
Proceedings of the International Conference on Computer, Networks and Communication Engineering (ICCNCE 2013)
Series
Advances in Intelligent Systems Research
Publication Date
July 2013
ISBN
978-90-78677-67-3
ISSN
1951-6851
DOI
10.2991/iccnce.2013.90How to use a DOI?
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/).

Cite this article

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  -