Safety Designer/Fault Tree Analyzer(SD9/FT9)是一套基于模型的安全性分析解决方案。在系统设计阶段,为复杂系统定义常见的功能正常和异常的模型,根据提出的模型,它们可以自动的进行依赖性分析,从而提高系统稳定性或(和)使系统获得认证。
FT9用于实现故障树的编辑与计算,支持:
基于ARALIA引擎的计算:编译为二元决策图;
通过拖放实现直观的图形化的故障树构建;
树结构的自动重排;
最小割集计算;
各种概率计算;
将故障树分割为多个子树;
目录与工作簿的组织;
基本事件的多种概率分布;
敏感性与重要因素分析;
基于用户模板的报告。