主要功能：故障树分析工具主要功能是静态故障树建模、动态故障树建模、定性分析、定量分析和仿真。 逻辑门类型：与门、或门、非门、异或门、顺序相关门、禁门、表决门、相同转移门、相似转移门 优先与门、顺序相关门、功能相关门、冷备件门、温备件门、热备件门 事件类型：顶事件、中间事件、基本事件、未决事件、子树 定性分析：最小割集、最小割序 定量分析：顶事件发生概率、结构重要度、概率重要度、相对重要度 仿真： 蒙特马洛仿真

动态故障树是系统安全性分析的常用工具，本资源是动态故障树定性分析的代码实现。