DFTCalc公司 swMATH ID: 12545 软件作者： F.Arnold、A.Belinfante、D.G.Freark van der Berg、M.Stoelinga 描述： DFTCalc：一种用于高效故障树分析的工具。有效的风险管理是确保我们的核电厂、医疗设备和电网可靠的关键；法律经常要求这样做。故障树分析（FTA）是这里广泛使用的一种方法，用于计算重要的可靠性指标，如系统可靠性。本文介绍了故障树分析的强大工具DFTCalc，它提供了（1）通过紧凑表示进行高效的故障树建模；（2） 有效分析，允许分析广泛的可靠性特性（3）通过最先进的随机技术进行有效分析；（4）一个灵活且可扩展的框架，其中可以轻松地更改或添加门。从技术上讲，DFTCalc是通过随机模型检查实现的，这是一种创新技术，提供了大量强大的分析技术，包括积极的压缩技术，以保持底层状态空间较小。 主页： http://rd.springer.com/chapter/10.1007/978-3642-40793-2_27 相关软件： Uppaal公司;棱镜;FaultTree（故障树）+;DIF树;事实;漫画;参数;iscas-Mc公司;SMT-LIB公司;数学SAT5;z3（零3）;古罗比;西尔文;CUDD公司;gmm公司++;本征;贾尼;PROPhESY公司;风暴;攻击树 引用于： 4文件 全部的 前5名11位作者引用 4 玛丽·斯托琳加 1 埃蒂安·安德烈 1 卡洛斯·埃内斯托·巴德 1 古克，丹尼斯 1 塞巴斯蒂安·荣格斯 1 Joost-Pieter卡托恩 1 克里斯蒂娜·科尔布 1 莱姆，迪迪埃 1 马蒂亚斯·拉普拉森 1 阿伦德·伦辛克 1 埃诺·鲁伊特斯 3篇连载文章中引用 1 计算的形式方面 1 计算机基础理论 1 计算机科学评论 在3个字段中引用 三 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文