Title :
Evaluation of software safety
Author :
Leveson, Nancy G.
Author_Institution :
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
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;
Conference_Titel :
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location :
Nice
Print_ISBN :
0-8186-2026-9
DOI :
10.1109/ICSE.1990.63627
