Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks

  • Sohag Kabir
  • Martin Walker
  • Yiannis Papadopoulos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8822)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Bruns, G., Anderson, S.: Validating Safety Models with Fault Trees. In: Górski, J. (ed.) SAFECOMP 1993, pp. 21–30. Springer, London (1993)Google Scholar
  4. 4.
    Cozman, F.: JavaBayes (2001),
  5. 5.
    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)Google Scholar
  6. 6.
    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)CrossRefGoogle Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Langseth, H., Portinale, L.: Bayesian networks in reliability. Reliability Engineering & System Safety 92(1), 92–108 (2007)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)CrossRefGoogle Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    Pearl, J.: Probabilistic reasoning in intelligent systems: Networks of Plausible Inference. Morgan Kaufmann (1988)Google Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    Walker, M., Papadopoulos, Y.: Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control Engineering Practice 17(10), 1115–1125 (2009)CrossRefGoogle Scholar
  18. 18.
    Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. Ph.D. thesis, University of Hull (2009)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Sohag Kabir
    • 1
  • Martin Walker
    • 1
  • Yiannis Papadopoulos
    • 1
  1. 1.Department of Computer ScienceUniversity of HullHullUK

Personalised recommendations