Abstract
Fault tree analysis is a widespread mathematical method for determining the failure probability of observed real-life systems. In addition to failure probability defined by wear, the system model has to take into account intrinsic and extrinsic system influences. To make allowance for such factors, we draw on an implementation by Rebner et al. to compute the lower and upper bounds of the failure probability of the top event based on interval analysis implemented in MATLAB using INTLAB. We present a new verified implementation in C++ to reduce the trade-off between accuracy and computation time, describe the new implementation by giving an illustrative example based on work by Luther et al. and show the advantages of our new implementation.
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.
References
Ramesh, V., Saravannan, R.: Reliability Assessment of Cogeneration Power Plant in Textile Mill Using Fault Tree Analysis. Journal of Failure Analysis and Prevention 11, 56–70 (2011)
Limbourg, P., Savić, R., Petersen, J., Kochs, H.: Fault tree analysis in an early design stage using the Dempster-Shafer theory of evidence. Risk, Reliability and Societal Safety (2007)
Moore, R., Kearfott, B., Cloud, M.: Introduction to Interval Computation. Society for Industrial and Applied Mathematics, Philadelphia (2009)
Alefeld, G., Herzberger, J.: Introduction to interval computation. Academic Press (1984)
Arnold, D.: Computer Arithmetic Tragedies, http://www.ima.umn.edu/~arnold/455.f96/disasters.html
Goldberg, D.: What Every Computer Scientist Should Know About Floating-Point Arithmetic. ACM Computing Surveys (CSUR), 5–48 (1991)
Rebner, G., Auer, E., Luther, W.: A verified realization of a Dempster–Shafer based fault tree analysis. Computing 94, 313–324 (2012)
Rump, S.: INTLAB - INTerval LABoratory. Developments in Reliable Computing 1, 77–104 (1999)
Carreras, C., Walker, I.: Interval Methods for Fault-Tree Analyses in Robotics. IEEE Transactions on Reliability 50, 3–11 (2001)
Traczinski, H.: Integration von Algorithmen und Datentypen zur validierten Mehrkörpersimulation in MOBILE. Dissertation, Universität Duisburg-Essen. Logos-Verlag, Berlin (2006) ISBN 978-3-8325-1457-0
NVIDIA: Plattform für Parallel-Programmierung und parallele Berechnungen, http://www.nvidia.de/object/cuda_home_new_de.html
IEEE Computer Society: IEEE Standard for Floating-Point Arithmetic. IEEE Std 754-2008 (29 2008) 1–58 (2008)
Hofschuster, W., Krämer, W.: C-XSC 2.0 – A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Num. Software with Result Verification. LNCS, vol. 2991, pp. 15–35. Springer, Heidelberg (2004)
Zimmer, M.: Using C-XSC in a Multi-Threaded Environment. Preprint BUW-WRSWT 2011/2, Universität Wuppertal (2011), http://www2.math.uni-wuppertal.de/wrswt/preprints/prep_11_2.pdf
Krämer, W., Zimmer, M., Hofschuster, W.: Using C-XSC for High Performance Verified Computing. In: Jónasson, K. (ed.) PARA 2010, Part II. LNCS, vol. 7134, pp. 168–178. Springer, Heidelberg (2012)
Mayer, G.: Grundbegriffe der Intervallrechnung. Wissenschaftliches Rechnen mit Ergebnisverifikation, 101–117 (1989)
Der Kiureghian, A., Ditlevsen, O.: Aleatory or epistemic? Does it matter? Special Workshop on Risk Acceptance and Risk Communication (March 2007)
Auer, E., Luther, W., Rebner, G., Limbourg, P.: A Verified MATLAB Toolbox for the Dempster-Shafer Theory. In: Proceedings of the Workshop on the Theory of Belief Functions (April 2010), http://www.udue.de/DSIPaperone , http://www.udue.de/DSI
Luther, W., Dyllong, E., Fausten, D., Otten, W., Traczinski, H.: Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments. In: Perspectives on Enclosure Methods, pp. 181–200. Springer, Wien (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rebner, G., Beer, M. (2012). CUDA Accelerated Fault Tree Analysis with C-XSC. In: Hüllermeier, E., Link, S., Fober, T., Seeger, B. (eds) Scalable Uncertainty Management. SUM 2012. Lecture Notes in Computer Science(), vol 7520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33362-0_41
Download citation
DOI: https://doi.org/10.1007/978-3-642-33362-0_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33361-3
Online ISBN: 978-3-642-33362-0
eBook Packages: Computer ScienceComputer Science (R0)