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

2017 ◽  
Author(s):  
Shiyang Yu ◽  
Lianchuan Ma ◽  
Yuan Cao
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Next Generation ◽  
Train Control ◽  
Train Control System

scholarly journals Formal verification of safety protocol in train control system

2011 ◽  
Vol 54 (11) ◽  
pp. 3078-3090 ◽  
Author(s):  
Yan Zhang ◽  
Tao Tang ◽  
KePing Li ◽  
Jose Manuel Mera ◽  
Li Zhu ◽  
...  
Keyword(s):  
Control System ◽  
Formal Verification ◽  
Train Control ◽  
Train Control System

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

2021 ◽  
Vol 336 ◽  
pp. 02008
Author(s):  
Lina Yang ◽  
Zhongtian Liu
Keyword(s):  
Control System ◽  
System Structure ◽  
Next Generation ◽  
Critical System ◽  
Train Control ◽  
Safety Critical System ◽  
Train Control System ◽  
Information Interaction ◽  
Verification Methods ◽  
Property Losses

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.

scholarly journals Performance Analysis on Next Generation Korea Radio Train Control System Network

2014 ◽  
Vol 23 (1) ◽  
pp. 11-20
Author(s):  
June-Ho Bang ◽  
Sung-Yoon Chae ◽  
Hyung-Jin Kim ◽  
Seong-Joon Park ◽  
Young-Jong Cho ◽  
...  
Keyword(s):  
Control System ◽  
Performance Analysis ◽  
Next Generation ◽  
Train Control ◽  
Train Control System

scholarly journals NGCTCS : Next - generation Chinese Train Control System

2016 ◽  
Vol 9 (6) ◽  
pp. 122-130 ◽  
Author(s):  
Lin Junting ◽  
◽  
Dang Jianwu ◽  
Min Yongzhi ◽  
◽  
...  
Keyword(s):  
Control System ◽  
Next Generation ◽  
Train Control ◽  
Train Control System
Sign in / Sign up

Export Citation Format

Share Document