Safety Verification in Murphy Using Fault Tree Analysis

  title={Safety Verification in Murphy Using Fault Tree Analysis},
  author={Stephen S. Cha and Nancy G. Leveson and Timothy J. Shimeall},
MURPHY is a language-independent, experimental methodology for building safety-critical, real time software, which will include an integrated tool set. Using Ada as an example, this paper presents 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. 
Highly Cited
This paper has 27 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 16 extracted citations

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset

Automated Software Engineering • 2001
View 14 Excerpts
Highly Influenced

A reuse-oriented auxiliary construction method for software fault tree and tool implementation

2014 10th International Conference on Reliability, Maintainability and Safety (ICRMS) • 2014
View 1 Excerpt

Fail-Safe Test Generation in Safety Critical Systems

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering • 2014
View 1 Excerpt

Similar Papers

Loading similar papers…