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

A B Rauzy; J Gauthier; X Leduc

首页> 外文期刊>Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability >Assessment of large automatically generated fault trees by means of binary decision diagrams

【24h】

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

机译：通过二进制决策图评估大型自动生成的故障树

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：达索航空已经开发了基于高级形式描述语言AltaRica的可靠性工作台。工作台包括将AltaRica模型编译为故障树的工具。为最大的工业系统生成的故障树涉及多达一千个基本事件和数十万个门。而且，它们是不连贯的。即使对于二进制决策图来说，对如此大的公式进行评估也是具有挑战性的，它是用于编码和操作布尔函数的最新数据结构。本文介绍了使评估易于处理的各种启发式方法和策略。

著录项

来源
《Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability》 |2007年第2期|95-105|共11页
作者
A B Rauzy; J Gauthier; X Leduc;
展开▼
作者单位

Institut de Mathématiques de Luminy, CNRS, Marseilles, France;

Flight Control System Certification, Dassault Equipement, Saint-Cloud, France;

Flight Control System Certification, Dassault Equipement, Saint-Cloud, France;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
AltaRica; fault trees; binary decision diagrams; formulae rewritings;

机译：AltaRica;故障树;二进制决策图;公式重写;

相似文献

外文文献
中文文献
专利

1. Assessment of large automatically generated fault trees by means of binary decision diagrams [J] . A. B. Rauzy, J. Gauthier, X. Leduc Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability . 2007,第2期

机译：通过二进制决策图评估大型自动生成的故障树
2. Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models [J] . C Ibá?ez-Llano, A Rauzy, E Meléndez, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability . 2009,第4期

机译：在概率安全评估故障树模型上使用二元决策图的基于最小割集的约简方法
3. Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models [J] . C. Ibanez-Llano, A. Rauzy, E. Melendez, Proceedings of the Institution of Mechanical Engineers, Part O. Journal of Risk and Reliability . 2009,第4期

机译：在概率安全评估故障树模型上使用二元决策图的基于最小割集的约简方法
4. Improvement of Fault Tree Analysis in Formal Safety Assessment Using Binary Decision Diagram [C] . Yao Cai, Zhengjiang Liu, Zhaolin Wu Information Science and Engineering (ICISE), 2009 . 2009

机译：基于二叉决策图的形式安全评估中故障树分析的改进
5. Design and implementation of multiple-valued decision diagrams based on a binary decision diagram package. [D] . Viswanathan, Kanish. 2005

机译：基于二进制决策图包的多值决策图的设计和实现。
6. Using Delta/DRG Diagrams and Decision Tree Analysis to Select a Cost-Effective Surgery for Cholecystitis [O] . Dennis Edward Weiland, Daniel Martin Caruso, Andrew Kassir, 1997

机译：使用Delta / DRG图和决策树分析为胆囊炎选择一种经济有效的手术
7. A new heuristics for the event ordering in binary decision diagram applied in fault tree analysis [O] . Reni Banov, Zdenko Šimić, Davor Grgić 2019

机译：在故障树分析中应用了二进制决策图中的事件订购的新启发式信息
8. Ordering heuristic for building Binary Decision Diagrams for fault-trees [R] . Bouissou, M. 1997

机译：订购启发式以构建故障树的二元决策图

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

摘要

著录项

相似文献

相关主题

期刊订阅