DocumentCode
3293243
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
fYear
1988
fDate
11-15 Apr 1988
Firstpage
377
Lastpage
386
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1988., Proceedings of the 10th International Conference on
Print_ISBN
0-89791-258-6
Type
conf
DOI
10.1109/ICSE.1988.93718
Filename
93718
Link To Document