DocumentCode
2346755
Title
Evaluation of software safety
Author
Leveson, Nancy G.
Author_Institution
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
fYear
1990
fDate
26-30 Mar 1990
Firstpage
223
Lastpage
224
Abstract
The features of both probabilistic and nonprobabilistic approaches are considered. Particular emphasis is placed on an approach in which safety verification and analysis are backed up by using software safety design techniques that protect against hazardous states that might result from undetected software faults, including those stemming from flaws in the software requirements specification
Keywords
safety; software reliability; design techniques; hazardous states; nonprobabilistic approaches; safety verification; software faults; software requirements specification; software safety; Accidents; Computer science; Hardware; Hazards; Injuries; Physics computing; Power engineering and energy; Protection; Software design; Software measurement; Software reliability; Software safety;
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.63627
Filename
63627
Link To Document