The techniques adopted to validate to safety standards the software for a railway signalling system are described. The validation is intended to prove the correct behaviour of the system for all combinations of input information, and consequently semantic aspects of the software are emphasised. The effectiveness of the combination of methods used is reviewed, and the degree of confidence obtainable is assessed by comparison with established techniques for checking relay-based safety systems.
Software validation for a railway signalling system
Software-Validation fuer ein Eisenbahn-Signalsystem
1983
11 Seiten, 5 Bilder, 7 Quellen
Conference paper
English
Software requirements for railway signalling systems
Tema Archive | 1988
|Software Safety Technologies for Railway Signalling
British Library Online Contents | 1998
|Software safety technologies for railway signalling
IuD Bahn | 1999
|A strategic approach to railway signalling software
Tema Archive | 1989
|Engineering Index Backfile | 1946
|