Safety verification in Murphy using fault tree analysis
S. S., Nancy G. Leveson, Timothy J. Shimeall · International Conference on Software Engineering · 1988
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. >