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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Novel Online Safety Observer for Railway Interlocking System


    Contributors:

    Published in:

    Publication date :

    2013-02-27


    Size :

    92013-01-01 pages




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Novel Online Safety Observer for Railway Interlocking System

    Wang, H. / Xu, T. / Yuan, T. | British Library Online Contents | 2013



    Safety AND gate circuit for railway signal interlocking system

    WEI ZHEN / HU QINGXIN / XIA HANBING et al. | European Patent Office | 2015

    Free access

    Architecture and safety requirements of the ACC railway interlocking system

    Amendola, A.M. / Impagliazzo, L. / Marmo, P. et al. | Tema Archive | 1996


    Railway interlocking system and method

    European Patent Office | 2022

    Free access