Assessment of large automatically generated fault trees by means of binary decision diagrams
Assessment of large automatically generated fault trees by means of binary decision diagrams
复制标题
DOI：
10.1243/1748006xjrr47
复制
发表时间：
2007-06
期刊：
影响因子：
--
通讯作者：
A. Rauzy;J. Gauthier;X. Leduc
中科院分区：
文献类型：
--
作者：
A. Rauzy;J. Gauthier;X. Leduc
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.
