In this paper, we present an approach to reliability modeling and analysis based on the automatic conversion of a particular reliability engineering model, the Dynamic Fault Tree (DFT), into Dynamic Bayesian Networks (DBN). The approach is implemented in a software tool called RADYBAN (Reliability Analysis with DYnamic BAyesian Networks). The aim is to provide a familiar interface to reliability engineers, by allowing them to model the system to be analyzed with a standard formalism; however, a modular algorithm is implemented to automatically compile a DFT into the corresponding DBN. In fact, when the computation of specific reliability measures is requested, classical algorithms for the inference on Dynamic Bayesian Networks are exploited, in order to compute the requested parameters. This is performed in a totally transparent way to the user, who could in principle be completely unaware of the underlying Bayesian Network. The use of DBNs allows the user to be able to compute measures that are not directly computable from DFTs, but that are naturally obtainable from DBN inference. Moreover, the modeling capabilities of a DBN, allow us to extend the basic DFT formalism, by introducing probabilistic dependencies among system components, as well as the definition of specific repair policies that can be taken into account during the reliability analysis phase. We finally show how the approach operates on some specific examples, by describing the advantages of having available a full inference engine based on DBNs for the requested analysis tasks.
Supporting reliability engineers in exploiting the power of dynamic Bayesian networks
PORTINALE, Luigi;CODETTA RAITERI, Daniele;MONTANI, Stefania
2010-01-01
Abstract
In this paper, we present an approach to reliability modeling and analysis based on the automatic conversion of a particular reliability engineering model, the Dynamic Fault Tree (DFT), into Dynamic Bayesian Networks (DBN). The approach is implemented in a software tool called RADYBAN (Reliability Analysis with DYnamic BAyesian Networks). The aim is to provide a familiar interface to reliability engineers, by allowing them to model the system to be analyzed with a standard formalism; however, a modular algorithm is implemented to automatically compile a DFT into the corresponding DBN. In fact, when the computation of specific reliability measures is requested, classical algorithms for the inference on Dynamic Bayesian Networks are exploited, in order to compute the requested parameters. This is performed in a totally transparent way to the user, who could in principle be completely unaware of the underlying Bayesian Network. The use of DBNs allows the user to be able to compute measures that are not directly computable from DFTs, but that are naturally obtainable from DBN inference. Moreover, the modeling capabilities of a DBN, allow us to extend the basic DFT formalism, by introducing probabilistic dependencies among system components, as well as the definition of specific repair policies that can be taken into account during the reliability analysis phase. We finally show how the approach operates on some specific examples, by describing the advantages of having available a full inference engine based on DBNs for the requested analysis tasks.File | Dimensione | Formato | |
---|---|---|---|
A24.pdf
file disponibile solo agli amministratori
Tipologia:
Documento in Post-print
Licenza:
DRM non definito
Dimensione
1.03 MB
Formato
Adobe PDF
|
1.03 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.