Abstract
The fault tree analysis is a well established method in system safety and reliability assessment. We transferred the principles of this technique to an assembler code analysis, regarding any incorrect output of the software as the undesired top-level event. Starting from the instructions providing the outputs and tracing back to all instructions contributing to these outputs a hierarchical system of references is generated that may graphically be represented as a fault tree. To cope with the large number of relations in the code, a tool suite has been developed, which automatically creates these references and checks for unfulfilled preconditions of instructions. The tool was applied to the operational software of an inertial measurement unit, which provides safety critical signals for artificial stabilization of an aircraft. The method and its implementation as a software tool is presented and the benefits, surprising results, and limitations we have experienced are discussed.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
U. S. Nuclear Regulatory Commission: Fault Tree Handbook, NUREG-0492, Washington, D.C (1981)
Leveson, N., Harvey, P.: Analyzing Software Safety. IEEE Transaction on Software Engineering 9(5), 569–579 (1983)
Leveson, N., Cha, S., Shimeall, T.: Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software 8(4), 48–59 (1991)
Leveson, N.: Safeware: System Safety and Computers. Addison-Wesley, Reading (1995)
Helmer, G., Wong, J., Slagell, M., Honavar, V., Miller, L., Lutz, R.: A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System. In: Proceedings of the Symposium on Requirements Engineering for Information Security, Indianapolis, IN, USA (2001), http://www.palisadesys.com/~ghelmer/background.html
Bowman, W.C., Archinoff, G.H., Raina, V.M., Tremaine, D.R., Leveson, N.G.: An application of fault tree analysis to safety critical software at Ontario Hydro. In: Conference on Probabilistic Safety Assessment and Management (PSAM), Beverly Hills (April 1991)
D’Ambrogio, A., Iazeolla, G., Mirandola, R.: A Method for the Prediction of Software Reliability. In: Proc. of the 6-th IASTED Software Engineering and Applications Conference (SEA 2002), Cambridge, MA, USA (2002), http://sel.info.uniroma2.it/publications.htm
Pai, G., Bechta Dugan, J.: Automatic Synthesis of Dynamic Fault Trees from UML System Models. In: International Symposium on Software Reliability Engineering (ISSRE 2002), Annapolis, ML, USA (2002), www.ee.virginia.edu/~gjp5j/professional/research/research.htm
Papadopoulos, Y., Maruhn, M.: Model-Based Automated Synthesis of Fault Trees from Matlab-Simulink Models. In: The International Conference on Dependable Systems and Networks (DSN 2001), Goteborg, Sweden (2001), http://www2.dcs.hull.ac.uk/people/cssyp/
Mason, R.W.: Fault Isolator Tool for Software Fault Tree Analysis, Storming Media, Washington (1995), http://www.stormingmedia.us/cgi-bin/99/9934/A993492-54-33t.php
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weber, W., Tondok, H., Bachmayer, M. (2003). Enhancing Software Safety by Fault Trees: Experiences from an Application to Flight Critical SW. In: Anderson, S., Felici, M., Littlewood, B. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2003. Lecture Notes in Computer Science, vol 2788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39878-3_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-39878-3_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20126-7
Online ISBN: 978-3-540-39878-3
eBook Packages: Springer Book Archive