Fault Trees on a Diet

— Automated Reduction by Graph Rewriting —
  • Sebastian Junges
  • Dennis Guck
  • Joost-Pieter Katoen
  • Arend Rensink
  • Mariëlle Stoelinga
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9409)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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) CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    Boudali, H., Dugan, J.B.: A discrete-time Bayesian network reliability modeling and analysis framework. Rel. Eng. & Sys. Safety 87(3), 337–349 (2005)CrossRefGoogle Scholar
  6. 6.
    Boudali, H., Dugan, J.B.: A continuous-time Bayesian network reliability modeling and analysis framework. IEEE Trans. on Reliability 55(1), 86–97 (2006)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    Buchacker, K.: Modeling with extended fault trees. In: Proceedings of HASE, pp. 238–246 (2000)Google Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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) CrossRefGoogle Scholar
  12. 12.
    Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Handbook of Theoretical Computer Science, pp. 243–320. MIT Press (1991)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, Monographs in Th. Comp. Science. Springer (2006)Google Scholar
  16. 16.
    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)CrossRefMATHGoogle Scholar
  17. 17.
    Ghamarian, A.H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M.: Modelling and analysis using GROOVE. STTT 14(1), 15–40 (2012)CrossRefGoogle Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    Han, W., Guo, W., Hou, Z.: Research on the method of dynamic fault tree analysis. In: Proceedings of ICRMS, pp. 950–953 (2011)Google Scholar
  20. 20.
    Hermanns, H.: Interactive Markov Chains: the Quest for Quantified Quality. Springer-Verlag, Berlin (2002)CrossRefMATHGoogle Scholar
  21. 21.
    Fault tree analysis (FTA). Norm IEC 60050:2006 (2007)Google Scholar
  22. 22.
    Junges, S.: Simplifying dynamic fault trees by graph rewriting. Master thesis, RWTH Aachen University (2015)Google Scholar
  23. 23.
    Kaiser, B.: Extending the expressive power of fault trees. In: Proceedings of RAMS, pp. 468–474. IEEE, January 2005Google Scholar
  24. 24.
    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)CrossRefGoogle Scholar
  25. 25.
    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) CrossRefGoogle Scholar
  26. 26.
    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)Google Scholar
  27. 27.
    Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri-nets. IEEE Trans. Rel. 44(3), 428–440 (1995)CrossRefGoogle Scholar
  28. 28.
    Merle, G., Roussel, J.-M.: Algebraic modelling of fault trees with priority AND gates. In: Proceedings of DCDS, pp. 175–180 (2007)Google Scholar
  29. 29.
    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)CrossRefGoogle Scholar
  30. 30.
    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)Google Scholar
  31. 31.
    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)Google Scholar
  32. 32.
    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)MATHGoogle Scholar
  33. 33.
    Remke, A., Stoelinga, M. (eds.): Stochastic Model Checking. LNCS, vol. 8453. Springer, Heidelberg (2014) MATHGoogle Scholar
  34. 34.
    Rensink, A., Kuperus, J.-H.: Repotting the geraniums: on nested graph transformation rules, ECEASST, vol. 18 (2009)Google Scholar
  35. 35.
    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)Google Scholar
  36. 36.
    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)CrossRefMATHGoogle Scholar
  37. 37.
    Schneier, B.: Attack trees: Modeling security threats. Dr. Dobb’s J., 24(12) (1999)Google Scholar
  38. 38.
    Stamatelatos, M., Vesely, W., Dugan, J.B., Fragola, J., Minarick, J., Railsback, J.: Fault Tree Handbook with Aerospace Applications. NASA Headquarters (2002)Google Scholar
  39. 39.
    Yevkin, O.: An improved modular approach for dynamic fault tree analysis. In: Proceedings of RAMS, pp. 1–5 (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Sebastian Junges
    • 1
  • Dennis Guck
    • 2
  • Joost-Pieter Katoen
    • 1
    • 2
  • Arend Rensink
    • 2
  • Mariëlle Stoelinga
    • 2
  1. 1.Software Modeling and VerificationRWTH Aachen UniversityAachenGermany
  2. 2.Formal Methods and ToolsUniversity of TwenteEnschedeThe Netherlands

Personalised recommendations