Train-centric communications-based train control (TcCBTC) system is a new solution for urban transit signalling. Compared to traditional train control systems, the on-board equipment is becoming more powerful and more complex. Due to its safety-critical nature, specialised technologies must be adopted to guarantee the safety of the system. To address the safety verification difficulty of the control logic for the new system, this study presents an innovative topology-based method for guaranteeing the train control safety. First, a railway network is described as a metric space, and then, topological spaces are introduced to express the movement authority and train trajectory. On the basis of the topological description, the safety rules are checked by performing a series computation of topology theorems. Finally, a case study has been carried out on a real metro line in China. The result shows that the proposed method strictly meets the safety verification and achieves excellent performance.
Safety monitor for train-centric CBTC system
IET Intelligent Transport Systems ; 12 , 8 ; 931-938
2018-07-24
8 pages
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
train control safety , rail traffic control , TcCBTC system , railway communication , topological description , telecommunication signalling , China , safety verification difficulty , train trajectory , innovative topology-based method , real metro line , telecommunication network topology , topology theorems , metric space , train-centric communications-based train control system , safety monitor , urban transit signalling , railway safety , control logic , railway network , movement authority , control engineering computing , on-board equipment , topological spaces
Metadata by IET is licensed under CC BY 3.0
Architecture Design of a Novel Train-centric CBTC System
IEEE | 2018
|Functional safety verification of train control procedure in train-centric CBTC by colored petri net
DOAJ | 2020
|CBTC (Communication Based Train Control): system and development
British Library Conference Proceedings | 2006
|