Bayesian Networks (BN) provide a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world tasks and their suitability for dependability analysis is now considered by several researchers. In the present paper, we aim at defining a formal comparison between BN and one of the most popular techniques for dependability analysis: Fault Trees (FT). We will show that any FT can be easily mapped into a BN and that basic inference techniques on the latter may be used to obtain classical parameters computed using the former (i.e. reliability of the Top Event or of any sub-system, criticality of components, etc...). Moreover, we will discuss how, by using BN, some additional power can be obtained, both at the modeling and at the analysis level. In particular, dependency among components and noisy gates can be easily accommodated in the BN framework, together with the possibility of performing general diagnostic analysis. The comparison of the two methodologies is carried on through the analysis of an example that consists of a redundant multiprocessor system, with local and shared memories, local mirrored disks and a single bus. © Springer-Verlag Berlin Heidelberg 1999.
Comparing fault trees and bayesian networks for dependability analysis
Ciancamerla, E.;Minichino, M.
1999-01-01
Abstract
Bayesian Networks (BN) provide a robust probabilistic method of reasoning under uncertainty. They have been successfully applied in a variety of real-world tasks and their suitability for dependability analysis is now considered by several researchers. In the present paper, we aim at defining a formal comparison between BN and one of the most popular techniques for dependability analysis: Fault Trees (FT). We will show that any FT can be easily mapped into a BN and that basic inference techniques on the latter may be used to obtain classical parameters computed using the former (i.e. reliability of the Top Event or of any sub-system, criticality of components, etc...). Moreover, we will discuss how, by using BN, some additional power can be obtained, both at the modeling and at the analysis level. In particular, dependency among components and noisy gates can be easily accommodated in the BN framework, together with the possibility of performing general diagnostic analysis. The comparison of the two methodologies is carried on through the analysis of an example that consists of a redundant multiprocessor system, with local and shared memories, local mirrored disks and a single bus. © Springer-Verlag Berlin Heidelberg 1999.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
