DFTCalc公司

DFTCalc:一个有效的故障树分析工具。有效的风险管理是确保我们的核电站、医疗设备和电网可靠的关键;法律经常要求这样做。故障树分析(FTA)是一种广泛应用的方法,它计算系统可靠性等重要的可靠性指标。本文介绍了故障树分析的强大工具DFTCalc,它提供了(1)通过紧凑表示进行有效的故障树建模(2) 有效分析,允许分析广泛的可信性属性(3)通过最先进的随机技术进行有效分析;以及(4)一个灵活和可扩展的框架,在这个框架中可以很容易地更改或添加gates。从技术上讲,DFTCalc是通过随机模型检查实现的,这是一种创新的技术,提供了大量强大的分析技术,包括激进的压缩技术,以保持底层状态空间的小。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考文献3条)

显示第1至第3个结果。
按年份排序(引用)

  1. 荣格,塞巴斯蒂安;古克,丹尼斯;卡托恩,乔斯特·皮尔特;伦辛克,阿伦德;斯托琳加,玛丽ëlle:《饮食上的故障树:通过图形重写自动还原》(2017)
  2. 鲁伊杰特斯,恩诺;斯托琳加,玛丽ëlle:故障树分析:建模、分析和工具的最新研究进展(2015)
  3. 阿诺德,弗洛里安;贝林凡特,阿克塞尔;范德伯格,弗雷亚克;古克,丹尼斯;斯托琳加,玛丽ëlle:Dftcalc:高效故障树分析工具(2013)ioport公司