Abstract
Fault tree analysis is a method to determine the likelihood of a system attaining an undesirable state based on the information about its lower level parts. However, conventional approaches cannot process imprecise or incomplete data. There are a number of ways to solve this problem. In this paper, we will consider the one that is based on the Dempster–Shafer theory. The major advantage of the techniques proposed here is the use of verified methods (in particular, interval analysis) to handle Dempster–Shafer structures in an efficient and consistent way. First, we concentrate on DSI (Dempster–Shafer with intervals), a recently developed tool. It is written in MATLAB and serves as a basis for a new add-on for Dempster–Shafer based fault tree analysis. This new add-on will be described in detail in the second part of our paper. Here, we propagate experts’ statements with uncertainties through fault trees, using mixing based on arithmetic averaging. Furthermore, we introduce an implementation of the interval scale based algorithm for estimating system reliability, extended by new input distributions.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Arnold D (2011) Computer arithmetic tragedies. http://www.ima.umn.edu/~arnold/455.f96/disasters.html
Auer E, Luther W, Rebner G, Limbourg P (2010) A verified MATLAB toolbox for the Dempster-Shafer theory. In: Proceedings of the workshop on the theory of belief functions. http://www.udue.de/DSIPaperone, http://www.udue.de/DSI
Carreras C, Walker I (2001) Interval methods for fault-tree analyses in robotics. IEEE Trans Reliab 50:3–11. http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=00935010
Cheng Y (2000) Uncertainties in fault tree analysis. http://www2.tku.edu.tw/~tkjse/3-1/3-1-3.pdf
Ferson S (2002) RAMAS Risk Calc 4.0 software: risk assessment with uncertain numbers. Lewis Publishers, Boca Raton
Ferson S, Kreinovich V, Ginzburg L, Myers D, Sentz K (2003) Constructing probability boxes and Dempster–Shafer structures. SAND2002-4015. Sandia National Laboratories, Washington
Gradstein I, Ryshik I (1981) Summen, Produkt- und Integraltafeln. Harri Deutsch, Germany
Guth M (1991) A probability foundation for vagueness and imprecision in fault tree analysis. IEEE Trans Reliab 1(40): 563–570
IEEE Standard for Floating-Point Arithmetic (2008) IEEE Std 754-2008, pp 1–58. doi:10.1109/IEEESTD.2008.4610935
Limbourg P (2011) Imprecise probability propagation toolbox (IPP toolbox). http://www.uni-due.de/il/ipptoolbox.php
Luther W, Dyllong E, Fausten D, Otten W, Traczinski H (2001) Numerical verification and validation of kinematics and dynamical models for flexible robots in complex environments. In: Perspectives on enclosure methods. Springer, Wien, pp 181–200
Martin A (2009) Implementing general belief function framework with a practical codification for low complexity. In: Smarandache F, Dezert J (eds) Advances and applications of DSmT for information fusion. Collected works, vol 3. American Research Press, Rehoboth, pp 217–273
MathWorks (2011) Parallel Computing toolbox. http://www.mathworks.de/products/parallel-computing/?s_cid=0210_webg_js_390079
Moore R, Kearfott B, Cloud M (2009) Introduction to interval analysis. Society for Industrial and Applied Mathematics, Philadelphia
Rump S (1999) INTLAB–INTerval LABoratory. Dev Reliab Comput 1:77–104. http://www.ti3.tu-harburg.de/
Shafer G (1976) A mathematical theory of evidence. Princeton University Press, Princeton
Tonon F (2004) Using random set theory to propagate epistemic uncertainty through a mechanical system. Reliab Eng Syst Saf 85(1–3): 169–181
Traczinski H (2006) Integration von Algorithmen und Datentypen zur validierten Mehrkörpersimulation in MOBILE. Dissertation, Universität Duisburg-Essen. Logos-Verlag, Berlin. ISBN 978-3-8325-1457-0
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors have presented the results of this paper during the SCAN 2010 conference in Lyon, September 2010.
Rights and permissions
About this article
Cite this article
Rebner, G., Auer, E. & Luther, W. A verified realization of a Dempster–Shafer based fault tree analysis. Computing 94, 313–324 (2012). https://doi.org/10.1007/s00607-011-0179-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00607-011-0179-3