软件介绍
AutoFTA采用了图形化拖拽的方式建立系统故障树，支持或门、与门、非门、表决门等8种常用的逻辑门，具备最小割集分析、事件发生概率分析、底事件或条件事件重要度分析等功能，集成精确概率分析和蒙特卡罗仿真两种算法，并以表格或图形等方式显示分析结果，将故障树建模、分析运算、结果显示都集成在一个图形化集成平台上，可满足工程实际进行故障树分析的需求。
故障树是一种树状逻辑因果关系图，它用一系列的逻辑门符号来描述系统中各种事件之间的因果关系，是进行系统可靠性预测分析的重要可靠性模型。故障树分析法（Fault Tree Analysis）是一种以图形演绎方式对故障事件追本溯源的逻辑推理方法。它是指在系统的设计过程中通过对可能造成系统故障的各种因素进行层层分析，画出故障树，进而确定系统故障原因的各种可能组合方式和其发生概率，来以计算出系统的故障率，并据以采取相应的纠正措施，以提高系统可靠性的一种设计分析方法。
软件特色
(1)图形化的故障树建模功能，支持建立多个故障树进行分析对比
(2)一体化的数据管理和操作平台，故障树图形和分析结果都可以输出图片
(3)自动化的概率分析功能，后台自动进行故障树的规范化和简化
(4)现代化的软件操作界面，类似Office的交互操作方式简单易用
软件功能
(1)故障树建模
AutoFTA官方版支持与门、或门、非门、表决门、异或门、顺序与门、禁门、转移门8种逻辑门，支持中间事件的独立子树分析功能，便于实现复杂故障树的模块化分解。
故障树图形的自定义功能，如图形尺寸、颜色设置、文字属性、自动化对齐等，支持子树的复制粘贴。
(2)定性分析
分析故障树的最小割集，如果底事件和条件事件输入了发生概率，则自动计算各最小割集的发生概率，为制定故障诊断次序提供参考。
(3)定量分析
支持二元决策图法和不交化算法两种定量算法，分析顶事件和中间事件的发生概率，底事件或条件事件的结构重要度、概率重要度和相对概率重要度。
定量分析支持重新输入底事件或条件事件的发生概率，而不用更改故障树，保证其良好的可重用性。
(4)蒙特卡罗仿真分析
针对超大型故障树难以采用精确算法的情况，利用蒙特卡罗仿真分析顶事件和中间事件的发生概率。
