The safety of railway signalling systems depends on the correctness of the programming of a logical controller known as an interlocking. Assurance of correctness is usually achieved by a combination of testing, both on simulation systems and on the target hardware, and manual or tool-assisted checking of the data, with use being made in some cases of techniques of static analysis and formal methods. The paper proposes a common model for assessing disparate techniques used as part of various proprietary systems.
Safety assurance of configuration data for railway signal interlockings
2006-01-01
5 pages
Article (Journal)
English
Engineering Index Backfile | 1933
Simulating and analyzing railway interlockings in ExSpect
TIBKAT | 1994
|Electric railway traction. Part 4: Signalling and interlockings
IET Digital Library Archive | 1995
|Railway Interlockings – A Review of the Current State of Railway Safety Technology in Europe
DOAJ | 2022
|Engineering Index Backfile | 1954