Reliability analysis of dynamic systems by translating temporal fault trees into Bayesian networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8822, Issue , 2014, Pages 96-109

  Kabir, Sohag ^a   Walker, Martin ^a   Papadopoulos, Yiannis ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BAYESIAN NETWORKS; FAULT TREE ANALYSIS;

COMPLEX DYNAMIC SYSTEMS; DEPENDABILITY ANALYSIS; DIAGNOSTIC ANALYSIS; FAULT-TREES; MODEL- BASED DESIGNS; QUALITATIVE ANALYSIS; SYSTEM MODELING;

RELIABILITY ANALYSIS;

EID: 84921739491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-12214-4_8     Document Type: Article

References (18)

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)
2. Boudali, H., Dugan, J.:Anewbayesian network approach to solve dynamic fault trees. In: Proceedings of Annual Reliability andMaintainability Symposium, pp. 451–456 (January 2005)
3. Bruns, G., Anderson, S.: Validating Safety Models with Fault Trees. In: G´orski, J. (ed.) SAFECOMP 1993, pp. 21–30. Springer, London (1993)
4. Cozman, F.: JavaBayes (2001), http://www.cs.cmu.edu/˜javabayes/
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)
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)
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)
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)
9. Langseth, H., Portinale, L.: Bayesian networks in reliability. Reliability Engineering & System Safety 92(1), 92–108 (2007)
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)
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)
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)
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)
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)
15. Pearl, J.: Probabilistic reasoning in intelligent systems: Networks of Plausible Inference. Morgan Kaufmann (1988)
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)
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)
18. Walker, M.D.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. Ph.D. thesis, University of Hull (2009)