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 investiga...

Full description

Saved in:
Bibliographic Details
Published inMATEC Web of Conferences Vol. 336; p. 2008
Main Authors Yang, Lina, Liu, Zhongtian
Format Journal Article Conference Proceeding
LanguageEnglish
Published Les Ulis EDP Sciences 2021
Subjects
Control equipment
Control systems
Mass transit
Modelling
Monitoring systems
Safety critical
Verification
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2261-236X
2274-7214
2261-236X
DOI:10.1051/matecconf/202133602008