Fault Tree Analysis with Bayesian Belief Networks for Safety-Critical Software

The flexibility of Bayesian Belief Networks makes them particularly suitable for presenting a quantified safety case incorporating hard and soft evidence. This paper describes their application to one component of an overall safety assessment of the QNX Neutrino microkernel.