Automatically Translating Dynamic Fault Trees into Dynamic Bayesian Networks by Means of a Software Tool

  • Authors:
  • S. Montani;L. Portinale;A. Bobbio;D. Codetta-Raiteri

  • Affiliations:
  • Universita del Piemonte Orientale;Universita del Piemonte Orientale;Universita del Piemonte Orientale;Universita del Piemonte Orientale

  • Venue:
  • ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a software tool allowing the automatic analysis of a Dynamic Fault Tree (DFT) exploiting its conversion to a Dynamic Bayesian Network (DBN). First, the architecture of the tool is described, together with the rules implemented in the tool, to convert dynamic gates in DBNs. Then, the tool is tested on a case of system: its DFT model and the corresponding DBN are provided and analyzed by means of the tool. The obtained unreliability results are compared with those returned by other tools, in order to verify their correctness.