Modeling and verification of train departure scenario for next generation train control system

As a complex and safety-critical system, any failure in the Next Generation Train Control System (NGTC) departure scenario may cause serious personal injuries and property losses. It is very necessary to study NGTC scenario scheme and effective modeling and verification methods. This paper investigates the key technologies of the NGTC, optimizes the system structure and redistribution functions, and proposes the train control system scheme and typical operating scenarios. Firstly, the structure, equipment function and information interaction of NGTC are analyzed, and the operation scenarios of the system scheme are designed. This paper also uses UML language to describe the train departure scenario, and uses NuSMV modeling to verify accessibility and certainty of the scenario scheme. The results show that, the scheme proposed in this paper provides a reference for the design and implementation of the NGTC.

Download Full-text

Safety Requirements Model-Based Safety Test Automation of Train Control System of High Speed Railway in China

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.29-32.2768 ◽

2010 ◽

Vol 29-32 ◽

pp. 2768-2774

Author(s):

Gang Yu ◽

Zhong Wei Xu

Keyword(s):

Control System ◽

Automatic Testing ◽

Test Automation ◽

Critical System ◽

Safety Requirements ◽

Safety Critical ◽

Train Control ◽

Safety Critical System ◽

Safety Test ◽

Train Control System

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.

Download Full-text

Formal verification of active-standby switchingon safety computer in next generation train control system

2017 7th IEEE International Symposium on Microwave, Antenna, Propagation, and EMC Technologies (MAPE) ◽

10.1109/mape.2017.8250817 ◽

2017 ◽

Cited By ~ 1

Author(s):

Shiyang Yu ◽

Lianchuan Ma ◽

Yuan Cao

Keyword(s):

Control System ◽

Formal Verification ◽

Next Generation ◽

Train Control ◽

Train Control System

Download Full-text

Research on Train Control System Based on Communications

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.253-255.1427 ◽

2012 ◽

Vol 253-255 ◽

pp. 1427-1430

Author(s):

Lin Na He

Keyword(s):

Communication Network ◽

Control System ◽

Communication Technology ◽

Network Architecture ◽

Open Data ◽

Data Communication ◽

System Structure ◽

Train Control ◽

Train Control System ◽

Data Communication Network

This paper introduces communication based train contrl (CBTC) technology, focusing on the concept of the CBTC , the CBTC system structure, and the CBTC system basic principle. This paper presents the CBTC system is composed of two parts by the train control system and wireless information transmission, the CBTC system using wireless communication technology to achieve real-time bi-directional communication in the train and the trackside equipment, through an open data communication network. Finally, data communication subsystem network architecture in the CBTC system has been studied.

Download Full-text