Title :
Safety verification in MURPHY using fault tree analysis
Author :
Cha, Stephen S. ; Leveson, Nancy G. ; Shimeall, Timothy J.
Author_Institution :
Dept. of Inf. & Comput. Sci., California Univ., Irvine, CA, USA
Abstract :
MURPHY is a language-dependent, experimental methodology for building safety-critical, real-time software, which will include an integrated tool set. Using Ada as an example, the authors present a technique for verifying the safety of complex, real-time software using software fault tree analysis. The templates for Ada are presented along with an example of applying the technique to an Ada program. The tools in the MURPHY tool set to aid in this type of analysis are described
Keywords :
program verification; real-time systems; safety; software engineering; Ada; MURPHY; experimental methodology; fault tree analysis; integrated tool set; real-time software; safety critical software; Aerospace control; Air traffic control; Control systems; Fault trees; Injuries; Military aircraft; Military computing; Power engineering computing; Software engineering; Software safety;
Conference_Titel :
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN :
0-89791-258-6
DOI :
10.1109/ICSE.1988.93718
