Title :
Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool
Author :
Montani, S. ; Portinale, L. ; Bobbio, A. ; Codetta-Raiteri, D.
Author_Institution :
Dipt. di Informatica, Univ. del Piemonte Orientale, Alessandria, Italy
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.
Keywords :
belief networks; diagnostic reasoning; fault trees; graphical user interfaces; automatic translation; correctness verification; dynamic Bayesian network; dynamic fault tree; dynamic gates; software tool; Availability; Bayesian methods; Computer architecture; Event detection; Failure analysis; Fault trees; Safety; Security; Software tools; System testing;
Conference_Titel :
Availability, Reliability and Security, 2006. ARES 2006. The First International Conference on
Print_ISBN :
0-7695-2567-9
DOI :
10.1109/ARES.2006.34
