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
01.01.2006
5 pages
Aufsatz (Zeitschrift)
Englisch
Engineering Index Backfile | 1933
Simulating and analyzing railway interlockings in ExSpect
TIBKAT | 1994
|Railway Interlockings – A Review of the Current State of Railway Safety Technology in Europe
DOAJ | 2022
|Electric railway traction. Part 4: Signalling and interlockings
IET Digital Library Archive | 1995
|Engineering Index Backfile | 1954