Mutation Model-Based Test Case Generation of Chinese Train Control System with Automatic Train Operation Function

2018 ◽  
Author(s):  
Zhixuan Zhang ◽  
Kaicheng Li ◽  
Lei Yuan ◽  
Guanhua Yu
Keyword(s):  
Control System ◽  
Test Case Generation ◽  
Test Case ◽  
Train Control ◽  
Model Based ◽  
Train Control System ◽  
Mutation Model ◽  
Train Operation ◽  
Automatic Train Operation

scholarly journals On Enhancing Safety of Train-Centric Train Control System using Model-Based Development

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

Design and Realization of Fault Injection Based on CTCS-3 Simulation

2010 ◽  
Vol 20-23 ◽  
pp. 599-604
Author(s):  
Chen Xi Gou ◽  
Bai Gen Cai ◽  
Tao Tang ◽  
Shang Guan Wei
Keyword(s):  
Control System ◽  
Fault Injection ◽  
System Simulation ◽  
Injection System ◽  
Train Control ◽  
Train Control System ◽  
Train Operation ◽  
System Information ◽  
And Control ◽  
Improve Reliability

Reliability of CTCS-3 train operation and control system is necessary to ensure train running safely and efficiently. Thus, train control system simulation should be used for lots of tests and validations. This paper is focus on the theory and period of fault injection systematically. According to characters of simulation of train control system and advantages of fault injection, application of fault injection in the field of train control system simulation is proposed for reliability test and to obtain system information after fault injection. Main structure and detailed functions, structures of fault injection system is designed and realized. This system could simulate system fault to cause rapid failure in train control system during the experiment. By analyzing the simulation result, the conclusion could be obtained that application of fault injection could help to improve reliability and fault tolerance of C3 simulation.

scholarly journals Towards A Test Paths Generation Method for CTCS Level Transition

2020 ◽  
Vol 325 ◽  
pp. 01001
Author(s):  
LI Yao ◽  
ZHANG Xiaoxia ◽  
ZHANG Yadong ◽  
GUO Jin ◽  
GAO Hao
Keyword(s):  
Control System ◽  
Transition Function ◽  
Test Case ◽  
Test Cases ◽  
Safety Verification ◽  
Train Control ◽  
Train Control System ◽  
Level Transition ◽  
Test Requirements ◽  
Important Basis

Test case is an important basis for correctness and safety verification of Chinese Train Control System (CTCS). Focusing on the test cases generation method of UPPAAL which is widely used in CTCS testing activity, the problems are analyzed, and an improved test cases generation method for CTCS is proposed. First, the process and characteristics of UPPAAL test cases generation method are analyzed; then the test requirements of CTCS are studied, and a test cases generation method based on UPPAAL query file is proposed. Finally, taking the level transition function of CTCS as an example, test cases are generated by the proposed method, which shows that this method can meet the test requirements of CTCS.

Sign in / Sign up

Export Citation Format

Share Document