Safety monitor for Train-Centric CBTC System

Research output: Contribution to journalArticlepeer-review

Authors

  • Haifeng Wang
  • Ning Zhao
  • Bin Ning
  • Tao Tang
  • Ming Chai

External organisations

  • Beijing Jiaotong Univ
  • National Engineering Research Centre of Rail Transportation Operation and Control Systems, Beijing Jiaotong University
  • State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University
  • Beijing Jiaotong University

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

Details

Original languageEnglish
Pages (from-to)931–938
Number of pages8
JournalIET Intelligent Transport Systems
Volume12
Issue number8
Early online date6 Jul 2018
Publication statusPublished - Oct 2018

Keywords

  • railway safety, railway communication, rail traffic control, control engineering computing, telecommunication network topology, telecommunication signalling