Assessment of large automatically generated fault trees by means of binary decision diagrams

A. B. Rauzy, J Gauthier and X Leduc

Journal of Risk and Reliability, 2007, vol. 221, issue 2, 95-105

Abstract: Dassault Aviation have developed a reliability workbench based on the high-level formal description language AltaRica. The workbench includes a compiler of AltaRica models into fault trees. The fault trees generated for the largest industrial systems involve up to a thousand basic events and several dozen thousand gates; moreover, they are non-coherent. The assessment of such large formulae is challenging, even for binary decision diagrams, the state-of-the-art data structure to encode and to manipulate Boolean functions. This article describes the various heuristics and strategies that were used to make the assessment tractable.

Keywords: AltaRica; fault trees; binary decision diagrams; formulae rewritings (search for similar items in EconPapers)
Date: 2007
References: View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
https://journals.sagepub.com/doi/10.1243/1748006XJRR47 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:risrel:v:221:y:2007:i:2:p:95-105

DOI: 10.1243/1748006XJRR47

Access Statistics for this article

More articles in Journal of Risk and Reliability
Bibliographic data for series maintained by SAGE Publications ().