• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Annual IEEE International Systems Conference >Free and open source fault tree analysis tools survey
【24h】

Free and open source fault tree analysis tools survey

机译：免费和开源故障树分析工具调查

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper gives an in-depth survey about some free and open source tools for Fault Tree Analysis (FTA), which is one of the most used techniques in safety and reliability engineering. We have carried out a comparative study for four different tools. Firstly, OpenFTA is an open source fault tree analysis which is based on XFTA calculation engine. Secondly, OpenAltaRica platform which is a free tool that analyzes the risk of complex systems. Thirdly, ALD Fault Tree Analyzer which is a free web-based tool that analyzes static fault trees. Finally, DFTCalc which is an open source tool that analyzes dynamic fault trees based on Stochastic Model Checking techniques. To compare these tools, three representative examples are used. The first one, modeled by OpenFTA and ALD Fault Tree Analyzer, is an Electro Mechanical Actuator (EMA) used to actuate the ailerons of an aircraft, with a static fault tree containing AND gates representing redundancy mechanism. The second, modeled by DFTCalc, is a remotely controlled lawnmower with a dynamic fault tree. The third, modeled by OpenAltaRica, is an example of fault tree generation from AltaRica code. In addition, the same example of EMA system has also been modeled by Isograph Fault Tree++ in order to compare free and open source tools with some commercial tools.
机译：本文对某些免费和开源工具进行了深入的故障树分析工具（FTA），这是安全性和可靠性工程中最常用的技术之一。我们对四种不同的工具进行了比较研究。首先，Openfta是一种开源故障树分析，基于XFTA计算引擎。其次，OpenAltarica平台是一个自由工具，分析复杂系统的风险。第三，ALD故障树分析器是一个免费的基于Web的工具，分析了静态故障树。最后，DFTCALC是一种开源工具，基于随机模型检查技术分析动态故障树。要比较这些工具，使用三个代表性示例。第一个由OpenFTA和ALD故障树分析仪建模的，是一种用于致动飞机的副翼的电力机械致动器（EMA），其静态故障树包含和栅极代表冗余机构。由DFTCALC建模的第二个是具有动态故障树的远程控制的割草机。由Openaltarica建模的第三个是从Altarica代码的故障树生成的一个例子。此外，EMA系统的相同示例也是由Isograph Firfor Tree ++建模的，以便与某些商业工具进行比较自由和开源工具。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号