Abstract
Classical combinatorial fault trees can be used to assess combinations of failures but are unable to capture sequences of faults, which are important in complex dynamic systems. A number of proposed techniques extend fault tree analysis for dynamic systems. One of such technique, Pandora, introduces temporal gates to capture the sequencing of events and allows qualitative analysis of temporal fault trees. Pandora can be easily integrated in model-based design and analysis techniques. It is, therefore, useful to explore the possible avenues for quantitative analysis of Pandora temporal fault trees, and we identify Bayesian Networks as a possible framework for such analysis. We describe how Pandora fault trees can be translated to Bayesian Networks for dynamic dependability analysis and demonstrate the process on a simplified fuel system model. The conversion facilitates predictive reliability analysis of Pandora fault trees, but also opens the way for post-hoc diagnostic analysis of failures.
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.
Similar content being viewed by others
References
Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.: Improving the analysis of dependable systems by mapping fault trees into Bayesian networks. Reliability Engineering & System Safety 71(3), 249–260 (2001)
Boudali, H., Dugan, J.: A new bayesian network approach to solve dynamic fault trees. In: Proceedings of Annual Reliability and Maintainability Symposium, pp. 451–456 (January 2005)
Bruns, G., Anderson, S.: Validating Safety Models with Fault Trees. In: Górski, J. (ed.) SAFECOMP 1993, pp. 21–30. Springer, London (1993)
Cozman, F.: JavaBayes (2001), http://www.cs.cmu.edu/~javabayes/
Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Fault Trees and Sequence Dependencies. In: Proceedings of Annual Reliability and Maintainability Symposium, pp. 286–293 (January 1990)
Dugan, J.B., Bavuso, S.J., Boyd, M.A.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability 41(3), 363–377 (1992)
Edifor, E., Walker, M., Gordon, N.: Quantification of Priority-OR Gates in Temporal Fault Trees. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 99–110. Springer, Heidelberg (2012)
Fussell, J., Aber, E., Rahl, R.: On the Quantitative Analysis of Priority-AND Failure Logic. IEEE Transactions on Reliability R-25(5), 324–326 (1976)
Langseth, H., Portinale, L.: Bayesian networks in reliability. Reliability Engineering & System Safety 92(1), 92–108 (2007)
Marquez, D., Neil, M., Fenton, N.: Solving Dynamic Fault Trees using a New Hybrid Bayesian Network Inference Algorithm. In: 16th Mediterranean Conference on Control and Automation, pp. 609–614. IEEE (2008)
Merle, G., Roussel, J.M., Lesage, J.J.: Algebraic determination of the structure function of Dynamic Fault Trees. Reliability Engineering & System Safety 96(2), 267–277 (2011)
Merle, G., Roussel, J.M., Lesage, J.J.: Quantitative Analysis of Dynamic Fault Trees Based on the Structure Function. Quality and Reliability Engineering International 30(1), 143–156 (2014)
Montani, S., Portinale, L., Bobbio, A., Codetta-Raiteri, D.: Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks. Reliability Engineering & System Safety 93(7), 922–932 (2008)
Montani, S., Portinale, L., Bobbio, A., Varesio, M., Codetta-Raiteri, D.: A tool for automatically translating Dynamic Fault Trees into Dynamic Bayesian Networks. In: Annual Reliability and Maintainability Symposium (RAMS 2006), pp. 434–441. IEEE (2006)
Pearl, J.: Probabilistic reasoning in intelligent systems: Networks of Plausible Inference. Morgan Kaufmann (1988)
Vesely, W., Dugan, J., Fragola, J., Minarick, R.J.: Fault Tree Handbook with Aerospace Applications. Tech. rep., NASA office of safety and mission assurance, Washington, DC (2002)
Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control Engineering Practice 17(10), 1115–1125 (2009)
Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. Ph.D. thesis, University of Hull (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Kabir, S., Walker, M., Papadopoulos, Y. (2014). Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. In: Ortmeier, F., Rauzy, A. (eds) Model-Based Safety and Assessment. IMBSA 2014. Lecture Notes in Computer Science, vol 8822. Springer, Cham. https://doi.org/10.1007/978-3-319-12214-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-12214-4_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12213-7
Online ISBN: 978-3-319-12214-4
eBook Packages: Computer ScienceComputer Science (R0)