Abstract
This paper presents a framework for an automated safety methodology that: (1) generates fault-trees from code, and (2) then applies a fault-injection based technique to mitigate the potential for non-root nodes to cause hazardous outputs. This methodology reads in source code and user-defined hazards, builds the fault-tree, and then feeds the fault-tree, code, and user-defined operational profile to a mitigator routine that estimates the frequency with which the event in the root node can occur. Preferably this frequency will be zero, but if not, this methodology will allow a user to quickly assign non-zero probabilities to events that could result in hazards.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
P. Merlin and D. Farber. Recoverability of Communication Protocol-Implications of a Theoretical Study. IEEE Transactions on Communications, COM-24:1036–1043, 1976
M. Friedman and J. Voas. Software Assessment: Reliability, Safety, Testability, to be published by John Wiley and Sons, New York, 1995
D. J. Lawson. Failure Mode, Effect, and Criticality Analysis. In J. K. Skwirzynski, editor, Electronic Systems Effectiveness and Life Cycle Costing, pages 55–74, NATO ASI Series, F3, SpringerVerlag, Heidelberg, 1983
N.G. Leveson, S. S. Cha and T. J. Shimeall. Safety Verification of ADA Programs Using Software Fault Trees. IEEE Software, pages 48–59, July 1991
Nasa. NASA Software Safety Standard. Office of Safety and Mission Assurance, June 1994. Interim Report 1740.13
T. J. Shimeall. Personal communications
J. Voas. PIE: A Dynamic Failure-Based Technique. IEEE Trans. on Software Engineering, 18(8):717–727, August 1992
Underwriters Laboratory Inc. Safety Related Software, January 1994. Standard for Safety UL1998, First Edition
J.Voas and K. Miller. Dynamic Testability Analysis for Assessing Fault Tolerance. High Integrity Systems Journal, 1 (2): 171–178, 1994
J. Voas and K. Miller. Examining Software Quality (Fault-tolerance) Using Unlikely Inputs: Turning the Test Distribution Up-side Down. In Proc. of Eighth Annual Conference on Computer Assurance., National Institute of Standards and Technology, Gaithersburg, MD, June 1995
J. Voas and K. Miller. Predicting Software’s Minimum-time-to-hazard and Mean-time-to-hazard for Rare Input Events. In Proc. of the International Symposium on Software Reliability Engineering, (Submitted) Toulouse France, October 1995
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer-Verlag London
About this paper
Cite this paper
Voas, J.M., Miller, K.W. (1995). An Automated Code-Based Fault-Tree Mitigation Technique. In: Rabe, G. (eds) Safe Comp 95. Springer, London. https://doi.org/10.1007/978-1-4471-3054-3_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3054-3_5
Publisher Name: Springer, London
Print ISBN: 978-3-540-19962-5
Online ISBN: 978-1-4471-3054-3
eBook Packages: Springer Book Archive