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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan


    Beteiligte:


    Erscheinungsdatum :

    01.10.2021


    Format / Umfang :

    2457777 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Computer interlocking system data and route automatic generation software

    ZHANG LIN / WU HAIBO / LIANG YUNPENG et al. | Europäisches Patentamt | 2024

    Freier Zugriff

    Interlocking system automatic route logic processing method

    MA RUI / ZHANG CHENG / MO YUNQIAN et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    ROUTE PLAN GENERATION DEVICE AND ROUTE PLAN CORRECTION METHOD FOR ROUTE PLAN GENERATION DEVICE

    KAWASHIMA WATARU | Europäisches Patentamt | 2024

    Freier Zugriff

    Automatic interlocking

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