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.
Novel Online Safety Observer for Railway Interlocking System
Journal of Transportation Engineering ; 139 , 7 ; 719-727
2013-02-27
92013-01-01 pages
Article (Journal)
Electronic Resource
English
Novel Online Safety Observer for Railway Interlocking System
British Library Online Contents | 2013
|Novel Online Safety Observer for Railway Interlocking System
Online Contents | 2013
|Safety AND gate circuit for railway signal interlocking system
European Patent Office | 2015
|Architecture and safety requirements of the ACC railway interlocking system
Tema Archive | 1996
|