Abstract
Fault trees are a popular industrial technique for reliability modelling and analysis. Their extension with common reliability patterns, such as spare management, functional dependencies, and sequencing — known as dynamic fault trees (DFTs) — has an adverse effect on scalability, prohibiting the analysis of complex, industrial cases by, e.g., probabilistic model checkers. This paper presents a novel, fully automated reduction technique for DFTs. The key idea is to interpret DFTs as directed graphs and exploit graph rewriting to simplify them. We present a collection of rewrite rules, address their correctness, and give a simple heuristic to determine the order of rewriting. Experiments on a large set of benchmarks show substantial DFT simplifications, yielding state space reductions and timing gains of up to two orders of magnitude.
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
Arnold, F., Belinfante, A., Van der Berg, F., Guck, D., Stoelinga, M.: DFTCalc: a tool for efficient fault tree analysis. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds.) SAFECOMP. LNCS, vol. 8153, pp. 293–301. Springer, Heidelberg (2013)
Bobbio, A., Franceschinis, G., Gaeta, R., Portinale, L.: Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics. IEEE Trans. on Softw. Eng. 29(3), 270–287 (2003)
Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.: Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Rel. Eng. & Sys. Safety 71(3), 249–260 (2001)
Boudali, H., Crouzen, P., Stoelinga, M.I.A.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secure Comput. 7(2), 128–143 (2010)
Boudali, H., Dugan, J.B.: A discrete-time Bayesian network reliability modeling and analysis framework. Rel. Eng. & Sys. Safety 87(3), 337–349 (2005)
Boudali, H., Dugan, J.B.: A continuous-time Bayesian network reliability modeling and analysis framework. IEEE Trans. on Reliability 55(1), 86–97 (2006)
Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, dependability and performance analysis of extended AADL models. The Computer Journal 54, 754–775 (2011)
Buchacker, K.: Modeling with extended fault trees. In: Proceedings of HASE, pp. 238–246 (2000)
Chiacchio, F., Compagno, L., D’Urso, D., Manno, G., Trapani, N.: Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approaches. Rel. Eng. & Sys. Safety 96(11), 1515–1526 (2011)
Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics of models for computational engineering: a case study on dynamic fault trees. In: Proceedings of ISSRE, pp. 270–282 (2000)
Crouzen, P., Hermanns, H., Zhang, L.: On the minimisation of acyclic models. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 295–309. Springer, Heidelberg (2008)
Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Handbook of Theoretical Computer Science, pp. 243–320. MIT Press (1991)
Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Rel., pp. 363–377 (1992)
Dugan, J.B., Venkataraman, B., Gulati, R.: DIFtree: a software package for the analysis of dynamic fault tree models. In: Proceedings of RAMS, pp. 64–70. IEEE (1997)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, Monographs in Th. Comp. Science. Springer (2006)
Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2011: a toolbox for the construction and analysis of distributed processes. STTT 15(2), 89–107 (2013)
Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. STTT 14(1), 15–40 (2012)
Guck, D., Katoen, J.-P., Stoelinga, M.I.A., Luiten, T., Romijn, J.M.T.: Smart railroad maintenance engineering with stochastic model checking. In: Proceedings of RAILWAYS. Saxe-Coburg Publications (2014)
Han, W., Guo, W., Hou, Z.: Research on the method of dynamic fault tree analysis. In: Proceedings of ICRMS, pp. 950–953 (2011)
Hermanns, H.: Interactive Markov Chains: the Quest for Quantified Quality. Springer-Verlag, Berlin (2002)
Fault tree analysis (FTA). Norm IEC 60050:2006 (2007)
Junges, S.: Simplifying dynamic fault trees by graph rewriting. Master thesis, RWTH Aachen University (2015)
Kaiser, B.: Extending the expressive power of fault trees. In: Proceedings of RAMS, pp. 468–474. IEEE, January 2005
Katoen, J.-P., Zapreev, I.S., Hahn, E.M., Hermanns, H., Jansen, D.N.: The ins and outs of the probabilistic model checker MRMC. Perf. Ev. 68(2), 90–104 (2011)
Kwiatkowska, M., Norman, G., Parker, D.: Stochastic model checking. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 220–270. Springer, Heidelberg (2007)
Liu, D., Xiong, L., Li, Z., Wang, P., Zhang, H.: The simplification of cut sequence set analysis for dynamic systems. Proc. of ICCAE 3, 140–144 (2010)
Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri-nets. IEEE Trans. Rel. 44(3), 428–440 (1995)
Merle, G., Roussel, J.-M.: Algebraic modelling of fault trees with priority AND gates. In: Proceedings of DCDS, pp. 175–180 (2007)
Merle, G., Roussel, J.-M., Lesage, J.-J., Bobbio, A.: Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events. IEEE Trans. Rel. 59(1), 250–261 (2010)
Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D.: Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool. In: Proceedings of ARES, p. 6 (2006)
Pullum, L.L., Dugan, J.B.: Fault tree models for the analysis of complex computer-based systems. In: Proceedings of RAMS, pp. 200–207. IEEE (1996)
Raiteri, D.C.: The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation. ENTCS 127(2), 45–60 (2005)
Remke, A., Stoelinga, M. (eds.): Stochastic Model Checking. LNCS, vol. 8453. Springer, Heidelberg (2014)
Rensink, A., Kuperus, J.-H.: Repotting the geraniums: on nested graph transformation rules, ECEASST, vol. 18 (2009)
Rongxing, D., Guochun, W., Decun, D.: A new assessment method for system reliability based on dynamic fault tree. In: Proceedings of ICICTA, pp. 219–222. IEEE (2010)
Ruijters, E., Stoelinga, M.I.A.: Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer Science Review 15–16, 29–62 (2015)
Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb’s J., 24(12) (1999)
Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Headquarters (2002)
Yevkin, O.: An improved modular approach for dynamic fault tree analysis. In: Proceedings of RAMS, pp. 1–5 (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Junges, S., Guck, D., Katoen, JP., Rensink, A., Stoelinga, M. (2015). Fault Trees on a Diet. In: Li, X., Liu, Z., Yi, W. (eds) Dependable Software Engineering: Theories, Tools, and Applications. SETTA 2015. Lecture Notes in Computer Science(), vol 9409. Springer, Cham. https://doi.org/10.1007/978-3-319-25942-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-25942-0_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25941-3
Online ISBN: 978-3-319-25942-0
eBook Packages: Computer ScienceComputer Science (R0)