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
Automatically translating dynamic fault trees into dynamic bayesian networks by means of a software tool
MONTANI, Stefania;PORTINALE, Luigi;BOBBIO, Andrea;CODETTA RAITERI, Daniele
2006-01-01
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 correctnessFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
C55.pdf
file disponibile solo agli amministratori
Tipologia:
Altro materiale allegato
Licenza:
DRM non definito
Dimensione
434.02 kB
Formato
Adobe PDF
|
434.02 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.