DFTSim公司 swMATH ID: 12544 软件作者： H.Boudali、A.P.Nijmeijer、M.I.A.Stoelinga 描述： DFTSim：扩展动态故障树的模拟工具。我们提出了动态故障树（DFT）的模拟工具DFTSim。模拟是通过直接对树的叶子上附着的故障分布（称为基本事件）进行采样，并在树中向上传播故障时间来进行的。然而，对DFT叶的分布进行采样并不明显。为了从正确的分布中取样，必须知道所有基本事件（BE）的失效分布的解析表达式。这些确实是众所周知的非备用BE；但对于备用BE，它们会以其他BE的失败为条件。因此，推导备件的故障分布及其抽样的分析表达式并不是一项简单的任务。我们通过将其应用于由七个案例研究组成的广泛基准来评估DFTSim。我们将其结果与另外两个基于DFT的可靠性工具（即Galileo和Coral）进行了比较，这两个工具不是基于仿真的估计，而是计算精确的度量。我们的基于模拟的方法，特别是对于大型DFT，比现有方法快得多。事实上，精确解方法的计算时间在DFT叶数方面是指数的，而模拟时间在叶数方面则是线性的。此外，DFTSim（和一般模拟）允许模拟各种分布，并评估马尔科夫模型和非马尔科夫模式。 主页： http://dl.acm.org/citation.cfm？id=1639842 相关软件： 准备/套件；MOCUS公司；数据库网络；RAM指挥官FTA；故障树+；项目工具包；PTC Windchill自由贸易区；开放式FTA；方块模拟人生；DFTCalc公司；Radyban公司；元Prime；DIF树；模糊FTA；棱镜 引用于： 1文件 2位作者引用 1 埃诺·鲁伊特斯 1 玛丽·斯托琳加 连载1篇 1 计算机科学评论 在1个字段中引用 1 运筹学、数学规划（90-XX） 按年份列出的引文