Safety verification in Murphy using fault tree analysis

Authors:
S. S. Cha;N. G. Leveson;T. J. Shimeall
Affiliations:
Univ. of California, Irvine, CA;Univ. of California, Irvine, CA;Univ. of California, Irvine, CA
Venue:
ICSE '88 Proceedings of the 10th international conference on Software engineering
Year:
1988

Citing 2
Cited 6

Software safety: why, what, and how

ACM Computing Surveys (CSUR)
Software bugs: a matter of life and liability

Datamation

Software safety in embedded computer systems

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

Automated Software Engineering
Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy

Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Using software engineering technology to improve the quality of medical processes

Companion of the 30th international conference on Software engineering
Automatic fault tree derivation from Little-JIL process definitions

SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Safety analysis of safety-critical software for nuclear digital protection system

SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security

Quantified Score

Hi-index	0.02

Visualization

Abstract

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.