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.
Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan
IEEE Transactions on Intelligent Transportation Systems ; 22 , 10 ; 6516-6525
01.10.2021
2457777 byte
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
Computer interlocking system data and route automatic generation software
Europäisches Patentamt | 2024
|Interlocking system automatic route logic processing method
Europäisches Patentamt | 2023
|ROUTE PLAN GENERATION DEVICE AND ROUTE PLAN CORRECTION METHOD FOR ROUTE PLAN GENERATION DEVICE
Europäisches Patentamt | 2024
|Engineering Index Backfile | 1932
|