OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Jacob, Christelle and Dubois, Didier and Cardoso, Janette Uncertainty handling in quantitative BDD-based fault-tree analysis by interval computation. (2011) In: SUM 2011 - 5th International Conference Scalable Uncertainty Management, 10 October 2011 - 12 October 2011 (Dayton, OH, United States).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
449kB

Official URL: http://dx.doi;org/10.1007/978-3-642-23963-2_17

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 a binary decision diagram (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, and proposes an approach based on interval methods, relying on the analysis of the structure of the Boolean formula representing the fault-tree. The considered application deals with the reliability of aircraft operations.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Scalable Uncertainty Management. Proceedings of SUM'11 : 5th international conference on Scalable uncertainty management, series Lecture Notes in Computer Science, n° 6929, 2011, Springer-Verlag, ISBN: 978-3-642-23962-5
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: janette cardoso
Deposited On:17 Apr 2014 14:02

Repository Staff Only: item control page