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

Author(s):  
Yu Liu ◽  
Tao Tang ◽  
Kaicheng Li ◽  
Chenling Li
2013 ◽  
Vol 341-342 ◽  
pp. 984-989
Author(s):  
Kang Feng ◽  
Kai Cheng Li

As an important part of the CTCS-3 train control system, the on-board subsystem is a safety critical system, and it plays an important role in assuring the safety of train. In this essay, we choose a hybrid testing method combined with the advantage of black-box and white-box testing method in the test of the Simulation of on-board subsystem of the CTCS-3 train control system. The main idea is to divide the tested system into several functional parts, and then test them step by step. At last, we use an example to show the advantage of this testing method in reducing the number of test cases. 1 Current situation in the testing of train control system at home and abroad Train control system plays an important role in ensuring the operational safety of the train, At home and abroad researchers attach great importance to the testing of the train control system, and also a lot of research has been done. The simulation test makes it easier for the testers to work in the lab instead of the field, so that it reduce the human and material costs, and the test environment can be controlled and repeatable easily. Besides, the special environment of the site can also be simulated. University of Florence in Italy has developed the loop of the ATP / ATC test system based on the simulation technology HIL (Hardware in Loop), it provides an effective solution to the test of ATP speed measurement device. CEDEX LIF laboratory in spain simulation has used the test method of simulation to establish the Eurocab test platform, and developed a number of testing tools, moreover, they have defined test sequence. Test sequence generation and viewing, test management and test result analysis and evaluation function have also achieved. Beijing Jiaotong University in China rail traffic control and security National Key Laboratory of CTCS-3 train Control System has also established simulation test platform, so that simulation test can be performed.


2016 ◽  
Vol 17 (7) ◽  
pp. 573-584
Author(s):  
Myung-Sung Choi ◽  
Joo-Uk Kim ◽  
Seok-Youn Han ◽  
Se-Chan Oh ◽  
Sang-Hyun Sim ◽  
...  

2010 ◽  
Vol 29-32 ◽  
pp. 2768-2774
Author(s):  
Gang Yu ◽  
Zhong Wei Xu

Train control system is a safety-critical system, which requires a thorough safety testing before they are deployed. But the traditional technology of test automation is not sound for safety test of safety-critical software system because of its just aiming at the system functional requirements. Focusing on the safety requirements, this paper addresses a new method to perform safety test of safety-critical system based on safety requirement by using model-based test. The method presents safety automata to express safety properties in term of safety requirements and extract safety model from the safety requirements. It also provides a new technique for automatic generation of safety test case suite. By using the method, we have designed an automatic testing framework and developed an automatic testing platform, which has been applied to standard testing the product of train control system in term of the requirements of Ministry of railways in china, and implement effectively the functional and safety test of the product of train control system in china.


Sign in / Sign up

Export Citation Format

Share Document