DocumentCode
2350615
Title
Assessing failure probabilities in safety-critical systems containing software
Author
Thomas, Martyn
Author_Institution
Praxis plc., Bath, UK
fYear
1990
fDate
26-30 Mar 1990
Firstpage
227
Abstract
SRCS (safety-related computer systems) need to be kept under firm intellectual control throughout their development so that the range of possible behavior can always be specified precisely. This is equivalent to a requirement that the behavior be modeled mathematically and is a powerful argument for the use of mathematically formal notations (formal methods) throughout the specification, design, and implementation of software and hardware for SRCS
Keywords
safety; software reliability; SRCS; failure probabilities; formal methods; intellectual control; mathematically formal notations; safety-critical systems; safety-related computer systems; specification; Control systems; Data engineering; Failure analysis; Hardware; Mathematical model; Operating systems; Power system modeling; Probability; Programmable control; Software safety; Software systems; System testing; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location
Nice
Print_ISBN
0-8186-2026-9
Type
conf
DOI
10.1109/ICSE.1990.63629
Filename
63629
Link To Document