Skip to main content
SpringerLink
Log in

One Net Fits All

A Unifying Semantics of Dynamic Fault Trees Using GSPNs

  • Conference paper
  • First Online:
Application and Theory of Petri Nets and Concurrency (PETRI NETS 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10877))

Abstract

Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretation is non-trivial and leaves quite some freedom. This paper presents a GSPN semantics for DFTs. This semantics is rather simple and compositional. The key feature is that this GSPN semantics unifies all existing DFT semantics from the literature. All semantic variants can be obtained by choosing appropriate priorities and treatment of non-determinism.

This work is supported by the CDZ project CAP, the DFG RTG 2236 “UnRAVeL”, the STW project 154747 SEQUOIA, and the EU project SUCCESS.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    A PAND-gate fails if all its children fail in a left-to-right order.

  2. 2.

    We consider early claiming; the concept of late claiming is described in [33].

  3. 3.

    http://www.stormchecker.org/publications/gspn-semantics-for-dfts.html.

  4. 4.

    The new GSPN semantics needs further adaptions for downward FDEPs, cf. Sect. 4.4.

References

  1. Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press, Cambridge (2017)

    Book  Google Scholar 

  2. Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15–16, 29–62 (2015)

    Article  MathSciNet  Google Scholar 

  3. Dugan, J.B., Bavuso, S.J., Boyd, M.: Fault trees and sequence dependencies. In: Proceedings of RAMS, pp. 286–293. IEEE (1990)

    Google Scholar 

  4. Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of DSN, pp. 299–310 (2016)

    Google Scholar 

  5. Marsan, M.A., Conte, G., Balbo, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM TOCS 2(2), 93–122 (1984)

    Article  Google Scholar 

  6. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, Hoboken (1995)

    MATH  Google Scholar 

  7. 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)

    MATH  Google Scholar 

  8. Bobbio, A., Raiteri, D.C.: Parametric fault trees with dynamic gates and repair boxes. In: Proceedings of RAMS, pp. 459–465. IEEE (2004)

    Google Scholar 

  9. 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. Softw. Eng. 29(3), 270–287 (2003)

    Article  Google Scholar 

  10. Kabir, S., Walker, M., Papadopoulos, Y.: Quantitative evaluation of Pandora temporal fault trees via Petri nets. IFAC-PapersOnLine 48(21), 458–463 (2015)

    Article  Google Scholar 

  11. 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 

  12. Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE TDSC 7(2), 128–143 (2010)

    Google Scholar 

  13. Volk, M., Junges, S., Katoen, J.P.: Fast dynamic fault tree analysis by model checking techniques. IEEE Trans. Ind. Inform. 14(1), 370–379 (2018)

    Article  Google Scholar 

  14. Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continuous time. In: Proceedings of LICS, pp. 342–351. IEEE Computer Society (2010)

    Google Scholar 

  15. Hermanns, H.: Interactive Markov Chains: The Quest for Quantified Quality. LNCS, vol. 2428. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45804-2_3

    Book  MATH  Google Scholar 

  16. Eisentraut, C., Hermanns, H., Katoen, J.-P., Zhang, L.: A semantics for every GSPN. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 90–109. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38697-8_6

    Chapter  Google Scholar 

  17. Sullivan, K., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: Proceedings of FTCS, pp. 232–235 (1999)

    Google Scholar 

  18. 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 2013. LNCS, vol. 8153, pp. 293–301. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40793-2_27

    Chapter  Google Scholar 

  19. Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A Storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kunčak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592–600. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-63390-9_31

    Chapter  Google Scholar 

  20. Trivedi, K.S., Sahner, R.A.: SHARPE at the age of twenty two. SIGMETRICS Perform. Eval. Rev. 36(4), 52–57 (2009)

    Article  Google Scholar 

  21. Ciardo, G., Miner, A.S., Wan, M.: Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Perform. Eval. Rev. 36(4), 58–63 (2009)

    Article  Google Scholar 

  22. Baarir, S., Beccuti, M., Cerotti, D., Pierro, M.D., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev. 36(4), 4–9 (2009)

    Article  Google Scholar 

  23. Amparore, E.G.: A new GreatSPN GUI for GSPN editing and CSLTA model checking. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 170–173. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10696-0_13

    Chapter  Google Scholar 

  24. Montani, S., Portinale, L., Bobbio, A., Raiteri, D.C.: Radyban: a tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliab. Eng. Syst. Saf. 93(7), 922–932 (2008)

    Article  Google Scholar 

  25. Boudali, H., Dugan, J.B.: A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Trans. Reliab. 55(1), 86–97 (2006)

    Article  Google Scholar 

  26. Bouissou, M., Bon, J.L.: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab. Eng. Syst. Saf. 82(2), 149–163 (2003)

    Article  Google Scholar 

  27. Rauzy, A., Blériot-Fabre, C.: Towards a sound semantics for dynamic fault trees. Reliab. Eng. Syst. Saf. 142, 184–191 (2015)

    Article  Google Scholar 

  28. Merle, G., Roussel, J.M., Lesage, J.J.: Quantitative analysis of dynamic fault trees based on the structure function. Qual. Reliab. Eng. Int. 30(1), 143–156 (2014)

    Article  Google Scholar 

  29. Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: towards a full implementation of the fault tree handbook. Control Eng. Pract. 17(10), 1115–1125 (2009)

    Article  Google Scholar 

  30. Chen, D., Mahmud, N., Walker, M., Feng, L., Lönn, H., Papadopoulos, Y.: Systems modeling with EAST-ADL for fault tree analysis through HiP-HOPS. IFAC Proc. Vol. 46(22), 91–96 (2013)

    Article  Google Scholar 

  31. Guck, D., Spel, J., Stoelinga, M.: DFTCalc: reliability centered maintenance via fault tree analysis (tool paper). In: Butler, M., Conchon, S., Zaïdi, F. (eds.) ICFEM 2015. LNCS, vol. 9407, pp. 304–311. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-25423-4_19

    Chapter  Google Scholar 

  32. Raiteri, D.C.: Integrating several formalisms in order to increase fault trees’ modeling power. Reliab. Eng. Syst. Saf. 96(5), 534–544 (2011)

    Article  Google Scholar 

  33. Junges, S., Katoen, J.P., Stoelinga, M., Volk, M.: One net fits all: a unifying semantics of dynamic fault trees using GSPNs. CoRR abs/1803.05376 (2018)

    Google Scholar 

  34. Manian, R., Coppit, D.W., Sullivan, K.J., Dugan, J.B.: Bridging the gap between systems and dynamic fault tree models. In: Proceedings of RAMS, pp. 105–111 (1999)

    Google Scholar 

  35. Engelfriet, J.: Branching processes of Petri nets. Acta Inform. 28(6), 575–591 (1991)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

    Sebastian Junges, Joost-Pieter Katoen & Matthias Volk

  2. Formal Methods and Tools, University of Twente, Enschede, Netherlands

    Joost-Pieter Katoen & Mariëlle Stoelinga

  3. Department of Software Science, Radboud University Nijmegen, Nijmegen, Netherlands

    Mariëlle Stoelinga

Authors
  1. Sebastian Junges
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joost-Pieter Katoen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mariëlle Stoelinga
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Matthias Volk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Matthias Volk .

Editor information

Editors and Affiliations

  1. University of Newcastle, Newcastle upon Tyne, United Kingdom

    Victor Khomenko

  2. École Centrale de Nantes, Nantes Cedex 3, France

    Olivier H. Roux

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Junges, S., Katoen, JP., Stoelinga, M., Volk, M. (2018). One Net Fits All. In: Khomenko, V., Roux, O. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2018. Lecture Notes in Computer Science(), vol 10877. Springer, Cham. https://doi.org/10.1007/978-3-319-91268-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91268-4_14

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91267-7

  • Online ISBN: 978-3-319-91268-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation