Safety monitor for Train-Centric CBTC System

Research output: Contribution to journalArticlepeer-review

Standard

Safety monitor for Train-Centric CBTC System. / Wang, Haifeng; Zhao, Ning; Ning, Bin; Tang, Tao; Chai, Ming.

In: IET Intelligent Transport Systems, Vol. 12, No. 8, 10.2018, p. 931–938.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Author

Wang, Haifeng ; Zhao, Ning ; Ning, Bin ; Tang, Tao ; Chai, Ming. / Safety monitor for Train-Centric CBTC System. In: IET Intelligent Transport Systems. 2018 ; Vol. 12, No. 8. pp. 931–938.

Bibtex

@article{e9423390b35241f39f133a1b98a7bd67,
title = "Safety monitor for Train-Centric CBTC System",
abstract = "Train-centric Communications-Based Train Control system is a new solution for urban transit signalling. Compare to traditional train control systems, the on-board equipment is becoming more powerful and more complex. Due to its safety-critical nature, specialized 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 paper presents an innovative topology-based method for guaranteeing the train control safety. Firstly, 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",
keywords = "railway safety, railway communication, rail traffic control, control engineering computing, telecommunication network topology, telecommunication signalling",
author = "Haifeng Wang and Ning Zhao and Bin Ning and Tao Tang and Ming Chai",
year = "2018",
month = oct,
doi = "10.1049/iet-its.2018.5231",
language = "English",
volume = "12",
pages = "931–938",
journal = "IET Intelligent Transport Systems",
issn = "1751-956X",
publisher = "Institution of Engineering and Technology",
number = "8",

}

RIS

TY - JOUR

T1 - Safety monitor for Train-Centric CBTC System

AU - Wang, Haifeng

AU - Zhao, Ning

AU - Ning, Bin

AU - Tang, Tao

AU - Chai, Ming

PY - 2018/10

Y1 - 2018/10

N2 - Train-centric Communications-Based Train Control system is a new solution for urban transit signalling. Compare to traditional train control systems, the on-board equipment is becoming more powerful and more complex. Due to its safety-critical nature, specialized 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 paper presents an innovative topology-based method for guaranteeing the train control safety. Firstly, 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

AB - Train-centric Communications-Based Train Control system is a new solution for urban transit signalling. Compare to traditional train control systems, the on-board equipment is becoming more powerful and more complex. Due to its safety-critical nature, specialized 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 paper presents an innovative topology-based method for guaranteeing the train control safety. Firstly, 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

KW - railway safety

KW - railway communication

KW - rail traffic control

KW - control engineering computing

KW - telecommunication network topology

KW - telecommunication signalling

U2 - 10.1049/iet-its.2018.5231

DO - 10.1049/iet-its.2018.5231

M3 - Article

VL - 12

SP - 931

EP - 938

JO - IET Intelligent Transport Systems

JF - IET Intelligent Transport Systems

SN - 1751-956X

IS - 8

ER -