Because of the safety implications, certain conditions in road traffic signal systems must be avoided, and it is not acceptable for them to be discovered once the system is in use. The article identifies relevant factors. First, all potential hazards must be identified. The specification needs rigorous analysis; the specifier may be unaware of the types of problems arising in software. Formal methods of testing and analysis are considered. The use of tools in software development, and particularly for detecting unforeseen consequences of apparently slight changes in software, is discussed.
Safety critical software in traffic control systems
Sicherheitsrelevante Software in Systemen für Verkehrssteuerung
IEE Colloquium on 'Safety Critical Software in Vehicle and Traffic Control' ; No.031 ; 2/1-2/5
1990
, 3 Quellen
Conference paper
English
SYSTEMS & SOFTWARE - Safety-critical software for aerospace systems.
Online Contents | 2004
Software Methodologies for Safety Critical Systems
NTIS | 1991
|Software safety for air traffic management systems
IEEE | 2002
|Software methodologies for safety critical systems
Tema Archive | 1991
|