DocumentCode
1827708
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
fYear
2006
fDate
20-22 April 2006
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Availability, Reliability and Security, 2006. ARES 2006. The First International Conference on
Print_ISBN
0-7695-2567-9
Type
conf
DOI
10.1109/ARES.2006.34
Filename
1625390
Link To Document