TY - GEN
T1 - Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool
AU - Montani, S.
AU - Portinale, L.
AU - Bobbio, A.
AU - Codetta-Raiteri, D.
PY - 2006
Y1 - 2006
N2 - 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
AB - 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
UR - https://www.scopus.com/pages/publications/33750965749
U2 - 10.1109/ARES.2006.34
DO - 10.1109/ARES.2006.34
M3 - Conference contribution
AN - SCOPUS:33750965749
SN - 0769525679
SN - 9780769525679
T3 - Proceedings - First International Conference on Availability, Reliability and Security, ARES 2006
SP - 804
EP - 809
BT - Proceedings - First International Conference on Availability, Reliability and Security, ARES 2006
PB - IEEE Computer Society
T2 - 1st International Conference on Availability, Reliability and Security, ARES 2006
Y2 - 20 April 2006 through 22 April 2006
ER -