Novel Online Safety Observer for Railway Interlocking System

Due to the complexity and size of railway interlocking systems, conventional verification and testing techniques are not able to provide sufficient safety assurance. This paper proposes an online observer for safety assurance of railway interlocking systems. The observer provides runtime checking of the states and behaviors of interlocking devices by using a topology-based mathematical model. Route signals, points, and track sections are interpreted in a topological space, and safety properties are expressed as topology theorems. Running synchronously with the interlocking task, the observer conducts safety checks on the route processes and point operations. A case study of an example Chinese railway interlocking system is presented to illustrate the proposed method and its strengths. It is anticipated that this method will provide a fresh means to verify safety properties of railway interlocking systems in addition to traditional testing and verification methods.

• Record URL:
  https://doi.org/10.1061/(ASCE)TE.1943-5436.0000554
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/oclc/8674831
• Supplemental Notes:
  • Copyright © 2013 American Society of Civil Engineers
• Authors:
  • Wang, Haifeng
  • Xu, Tianhua
  • Yuan, Tangmin
• Publication Date: 2013-7

Language

• English

Media Info

• Media Type: Digital/other
• Features: References;
• Pagination: pp 719-727
• Serial:
  • Journal of Transportation Engineering
  • Volume: 139
  • Issue Number: 7
  • Publisher: American Society of Civil Engineers
  • ISSN: 0733-947X
  • Serial URL: https://ascelibrary.org/journal/jtepbs

Subject/Index Terms

• TRT Terms: Case studies; Railroad engineering; Railroad safety; Railroad tracks; Signals; Systems analysis; Topology
• Uncontrolled Terms: Interlocking systems
• Geographic Terms: China
• Subject Areas: Railroads; Safety and Human Factors; I82: Accidents and Transport Infrastructure;

Filing Info

• Accession Number: 01484398
• Record Type: Publication
• Files: TRIS, ASCE
• Created Date: Jun 12 2013 10:46AM