Uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation

Authors:
Christelle Jacob;Didier Dubois;Janette Cardoso
Affiliations:
Institut Supérieur de l'Aéronautique et de l'Espace, DMIA department, Toulouse;Institut de Recherche en Informatique de Toulouse, ADRIA department, Toulouse Cedex 9, France;Institut Supérieur de l'Aéronautique et de l'Espace, DMIA department, Toulouse
Venue:
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Year:
2011

Citing 5
Cited 2

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)

Methods and Applications of Interval Analysis (SIAM Studies in Applied and Numerical Mathematics) (Siam Studies in Applied Mathematics, 2.)
Introduction to Interval Analysis

Introduction to Interval Analysis
Operational reliability of an aircraft with adaptive missions

EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Gradual Numbers and Their Application to Fuzzy Interval Analysis

IEEE Transactions on Fuzzy Systems

Estimating probability of failure of a complex system based on inexact information about subsystems and components, with potential applications to aircraft maintenance

MICAI'11 Proceedings of the 10th international conference on Artificial Intelligence: advances in Soft Computing - Volume Part II
From imprecise probability laws to fault tree analysis

SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

In fault-tree analysis, probabilities of failure of components are often assumed to be precise. However this assumption is seldom verified in practice. There is a large literature on the computation of the probability of the top (dreadful) event of the fault-tree, based on the representation of logical formulas in the form of binary decision diagrams (BDD). When probabilities of atomic propositions are ill-known and modelled by intervals, BDD-based algorithms no longer apply to the computation of the top probability interval. This paper investigates this question for general Boolean expressions, and proposes an approach based on interval methods, relying on the analysis of the structure of the Boolean formula. The considered application deals with the fault-tree-based analysis of the reliability of aircraft operations.