• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>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），其静态故障树包含表示冗余机制的AND门。第二个是由DFTCalc建模的，是带有动态故障树的远程割草机。第三个是由OpenAltaRica建模的，是从AltaRica代码生成故障树的示例。此外，Isograph Fault Tree ++还对EMA系统的相同示例进行了建模，以便将免费和开放源代码工具与某些商业工具进行比较。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号