Assessment of large automatically generated fault trees by means of binary decision diagrams
Antoine B. Rauzy, Jean Gauthier, X Leduc · Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability · 2007
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.