Railway signalling is a complex and safety critical problem that has been extensively studied and standardised over a long period of time. The signalling equipment is typically procured from standard vendors and configured with yard specific application logic for which the route control chart (RCC) is a key input. As the yard size increases, the number of routes also increases and accordingly the difficulty of RCC preparation increases rapidly. RCC preparation for big yards may take months and affects the project deadlines adversely. In this work we report computational procedures to address: $a$ ) capturing of signal interlocking plan (SIP) given on paper and storing it using suitable data structures, $b$ ) generating the RCC automatically from the captured SIP supported by procedures based on graph theoretic formulation, $c$ ) storing the SIP graphically in memory, $d$ ) application of formal methods towards validation of yard structure and $e$ ) generation of temporal logic properties for formal verification of electronic interlocking (EI) logic. Several important steps towards RCC generation, such as conflict identification and isolation determination and also validation and verification (V&V) covering yard layout and safety property generation based on graph theoretic modelling are the most interesting aspect of this work. The described techniques have been tested successfully on many actual yards.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan




    Publication date :

    2021-10-01


    Size :

    2457777 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Computer interlocking system data and route automatic generation software

    ZHANG LIN / WU HAIBO / LIANG YUNPENG et al. | European Patent Office | 2024

    Free access

    Interlocking system automatic route logic processing method

    MA RUI / ZHANG CHENG / MO YUNQIAN et al. | European Patent Office | 2023

    Free access


    Automatic interlocking

    Zane, W.F. | Engineering Index Backfile | 1932