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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Vesely, W.E., et al.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance (2002)
Walker, M.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. University of Hull (2009)
Dugan, J.B., Bavuso, S.J., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41, 363–377 (1992)
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)
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)
Palshikar, G.K.: Temporal fault trees. Inf. Softw. Technol. 44, 137–150 (2002)
Kabir, S.: An overview of fault tree analysis and its application in model-based dependability analysis. Expert Syst. Appl. 77, 114–135 (2017)
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).
Edifor, E., Walker, M., Gordon, N.: Quantification of simultaneous-AND gates in temporal Fault Trees. Adv. Intell. Syst. Comput. 224, 141–151 (2013)
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)
Edifor, E.E.: Quantitative analysis of dynamic safety-critical systems using temporal fault trees. University of Hull (2014)
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.
Esary, D., Proschan, F.: Coherent structures with non-identical components. Technometrics 5, 191–209 (1963)
Hong, Y., Zhang, M., Meeker, W.Q.: Big data and reliability applications: the complexity dimension. J. Qual. Technol. 50, 135–149 (2018)
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
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
DOI: https://doi.org/10.1007/978-3-030-76773-0_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-76772-3
Online ISBN: 978-3-030-76773-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)