Skip to main content

Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation

  • Conference paper
  • First Online:
Theory and Engineering of Dependable Computer Systems and Networks (DepCoS-RELCOMEX 2021)

Abstract

The safety and reliability of high-consequence systems is an issue of utmost importance to engineers because such systems can have catastrophic effects if they fail. Fault Tree Analysis (FTA) is a well-known probabilistic technique for assessing the reliability of safety-critical systems. Standard FTA approaches are primarily static analysis techniques and as such cannot effectively model systems with dynamic behaviours, such as those with standby components or multiple modes of operation. There have been several efforts to address this limitation, one of which is Pandora, a temporal fault tree approach. Pandora uses three temporal gates—Priority-AND, Simultaneous-AND, and Priority-OR—to model the effects of sequences of events. Hitherto, Pandora was unable to perform a holistic evaluation of a full system that is repairable, taking account of useful system operating environment variables (such as time of operation, flow rate, etc.) or system data such as repair state and preventive maintenance. This paper aims to address these limitations. Algorithms to evaluate different system configurations have been generated and techniques for modelling and analyzing different system data in a simulation platform have been proposed. This paper extends the capabilities of Pandora so that it is capable of analyzing a modern system that features different failure modes, has diverse component failure distributions, considers the system’s operation environment data, and models different system configurations. The outcome of such analysis enables analysts to understand the operation and dynamics of a system holistically and aids in the implementation of appropriate risk mitigating strategies.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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

References

  1. Vesely, W.E., et al.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance (2002)

    Google Scholar 

  2. Walker, M.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. University of Hull (2009)

    Google Scholar 

  3. Dugan, J.B., Bavuso, S.J., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41, 363–377 (1992)

    Article  Google Scholar 

  4. Tang, Z., Dugan, J.B.: Minimal cut set/sequence generation for dynamic fault trees. In: Annual Symposium Reliability Maint, 2004 – RAMS, pp. 207–213 (2004)

    Google Scholar 

  5. Merle, G., Roussel, J., Lesage, J.: Improving the efficiency of dynamic fault tree analysis by considering gate fdep as static. Reliab. Risk, 1–7 (2010)

    Google Scholar 

  6. Palshikar, G.K.: Temporal fault trees. Inf. Softw. Technol. 44, 137–150 (2002)

    Article  Google Scholar 

  7. Kabir, S.: An overview of fault tree analysis and its application in model-based dependability analysis. Expert Syst. Appl. 77, 114–135 (2017)

    Article  Google Scholar 

  8. Edifor, E., Walker, M., Gordon, N.: Quantification of priority-OR gates in temporal fault trees. In: Lecture Notes in Computer Science 7612 LNCS, 99–110 (2012).

    Google Scholar 

  9. Edifor, E., Walker, M., Gordon, N.: Quantification of simultaneous-AND gates in temporal Fault Trees. Adv. Intell. Syst. Comput. 224, 141–151 (2013)

    Google Scholar 

  10. Fussell, J.B., Aber, E.F., Rahl, R.G.: On the quantitative analysis of priority-AND failure logic. IEEE Trans. Reliab. R-25(5), 324–326 (1976)

    Article  Google Scholar 

  11. Edifor, E.E.: Quantitative analysis of dynamic safety-critical systems using temporal fault trees. University of Hull (2014)

    Google Scholar 

  12. Herrera, F., Sander, I.: Combining analytical and simulation-based design space exploration for time-critical systems. In: IEEE Specification & Design Languages, pp. 1–8 (2013.

    Google Scholar 

  13. Esary, D., Proschan, F.: Coherent structures with non-identical components. Technometrics 5, 191–209 (1963)

    Article  MathSciNet  Google Scholar 

  14. Hong, Y., Zhang, M., Meeker, W.Q.: Big data and reliability applications: the complexity dimension. J. Qual. Technol. 50, 135–149 (2018)

    Article  Google Scholar 

  15. Goldsim: Goldsim. A Dynamic Simulation Approach to Reliability Modeling and Risk Assessment Using GoldSim (2020). https://media.goldsim.com/Documents/WhitePapers/GoldSim_Reliability_and_PRA.pdf, Accessed 23 Jan 2021

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ernest Edifor .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Edifor, E., Gordon, N., Walker, M. (2021). Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Theory and Engineering of Dependable Computer Systems and Networks. DepCoS-RELCOMEX 2021. Advances in Intelligent Systems and Computing, vol 1389. Springer, Cham. https://doi.org/10.1007/978-3-030-76773-0_9

Download citation

Publish with us

Policies and ethics