IEEE - Institute of Electrical and Electronics Engineers, Inc. - A model-based test case generation method for function testing of Train Control Systems

2016 IEEE International Conference on Intelligent Rail Transportation (ICIRT)

Author(s): Jidong Lv ; Haifeng Wang ; Hongjie Liu ; Lu Zhang ; Tao Tang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2016
Conference Location: Birmingham, UK
Conference Date: 23 August 2016
Page(s): 334 - 346
ISBN (Electronic): 978-1-5090-1555-9
DOI: 10.1109/ICIRT.2016.7588752
Regular:

Potential faults in safety critical systems may lead to system failures thus bring huge human injuries. How to ensure the correctness of the system during the system development is very important.... View More

Advertisement