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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arnold, A., Griffault, A., Point, G., Rauzy, A.: The Altarica language and its semantics. Fundamenta Informaticae 34, 109–124 (2000)
Bernard, R., Aubert, J.-J., Bieber, P., Merlini, C., Metge, S.: Experiments on model-based safety analysis: flight controls. In: IFAC Workshop on Dependable Control of Discrete Systems, Cachan, France (2007)
Bryant, R.E.: Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
Dutuit, Y., Rauzy, A.: Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia. Reliability Engineering and System Safety 58, 127–144 (1997)
Fortin, J., Dubois, D., Fargier, H.: Gradual Numbers and Their Application to Fuzzy Interval Analysis. IEEE trans. Fuzzy Systems 16, 388–402 (2008)
Moore, R.: Methods and applications of interval analysis. SIAM Studies in Applied Mathematics, Philadelphia (1979)
Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. Society for Industrial & Applied Mathematics, U.S. (2009)
Rauzy, A.: Mode automata and their compilation into into fault trees. Reliability Engineering and System Safety 78, 1–12 (2002)
Siegle, M.: BDD extensions for stochastic transition systems. In: Kouvatsos, D. (ed.) Proc. of 13th UK Performance Evaluation Workshop, Ilkley/West Yorkshire, pp. 9/1-9/7 (July 1997)
Somenzi, F.: University of Colorado, http://vlsi.colorado.edu/~fabio/CUDD/
Tiaoussou, K., Kanoun, K., Kaaniche, M., Seguin, C., Papadopoulos, C.: Operational Reliability of an Aircraft with Adaptive Missions. In: 13th European Workshop on Dependable Computing (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jacob, C., Dubois, D., Cardoso, J. (2011). Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation. In: Benferhat, S., Grant, J. (eds) Scalable Uncertainty Management. SUM 2011. Lecture Notes in Computer Science(), vol 6929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23963-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-23963-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23962-5
Online ISBN: 978-3-642-23963-2
eBook Packages: Computer ScienceComputer Science (R0)