DocumentCode :
279771
Title :
Safety critical software in traffic control systems
Author :
Reed, W.
Author_Institution :
Plessey Controls Ltd., Poole, UK
fYear :
1990
fDate :
32917
Firstpage :
42401
Lastpage :
42405
Abstract :
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
Keywords :
road traffic; safety; signalling; software reliability; software tools; traffic computer control; hazard identification; rigorous specification; road traffic signal systems; safety-critical software; software analysis; software development; software testing; software tools; traffic control systems;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Safety Critical Software in Vehicle and Traffic Control, IEE Colloquium on
Conference_Location :
London
Type :
conf
Filename :
189806
Link To Document :
بازگشت