故障樹分析

故障树分析（FTA）是由上往下的演绎式失效分析法，利用布林逻辑组合低阶事件，分析系统中不希望出现的状态。故障树分析主要用在安全工程以及可靠度工程的领域，用来了解系统失效的原因，并且找到最好的方式降低风险，或是确认某一安全事故或是特定系统失效的发生率。故障树分析也用在航空航天、核动力、化工制程、制药、石化业及其他高风险产业，也会用在其他领域的风险识别，例如社会服务系统的失效。故障树分析也用在软件工程，在侦错时使用，和消除错误原因的技术很有关系。
在航空航天领域中，更广泛的词语“系统失效状态”用在描述从底层不希望出现的状态到最顶层失效事件之间的故障树。这些状态会依其结果的严重性来分类。结果最严重的状态需要最广泛的故障树分析来处理。这类的“系统失效状态”及其分类以往会由机能性的危害分析来处理。

方法论

许多工业及政府的技术标准中都有提到故障树分析的方法论，包括核能产业的NRC NUREG–0492 、美国国家航空航天局针对航天修改的NUREG–0492版本、汽车工程师协会（SAE）针对民用航空器的ARP4761、军用的MIL–HDBK–338、IEC标会IEC 61025，故障树分析已用成许多产业中，也被采纳为欧盟标准EN 61025。
系统复杂到一个程度，就可能会因为一个或是多个子系统失效而让整个系统失效。不过整体失效的可能性可以透过系统设计的提升来降低。故障树分析利用建置整个系统的逻辑图示，来找到失效、子系统以及冗余安全设计元件之间的关系。
不想出现的结果会放在失效树的根（最上方事件），例如金属冲压程序中不想要出现的结果是工人的肢体受到冲压。在最上方事件进行分析后，可以确认有上述事件可能会以二种不同的方式出现：正常操作时以及维修时。这二个在逻辑上的关系是OR。在正常操作的分析可能也可能确认出二种不同的情形：冲压行程中，伤害到操作员，另一个是冲压行程中，伤害到其他人。这二个在逻辑上的关系也是OR。可以在设计上改善此一情形，例如修改程式，让操作员需要用双手同时按二个按钮才能启动冲压程序，这二个在逻辑上的关系是AND。按钮本身也有其固有的失效率，这个变成一个可以分析的失效来源。若故障树上标示了每个失效的实际机率值，可以用计算机程序计算故障树的失效可能率。
若有某个特定事件有出现在结果事件中，也就会它会影响多个子事统，这个称为共因（common cause）或共同模式（common mode）。若用图的角度来说，就是一个事件会在故障树中多次出现。共因会带来事件之间的相依关系，这种故障树的机率计算会比所有事件都独立时的故障树机率计算要复杂。市面也不是所有故障树分析的软件都能进行这类的计算。
故障树一般会用传统的逻辑门符号表示，故障树中从初始事件（initiator）到事件之间的路径称为分割集合（cut set）。从初始事件到事件之间的最短可能路径称为最小分割集合（Minimal Cut Set）。
有些产业会同时用故障树及事件树（参考概率风险评估）。事件树从不希望出现的初始事件（initiator）（例如停电、元件失效等）开始，根据可能的系统事件而到一系列的最终结果。每多考虑一个新事件，就要在树上增加一个节点，再列出各分枝的机率。“最上方事件”的机率就会由各初始事件的机率计算而得。
标准的故障树分析程式包括电力研究所（EPRI）的CAFTA软件，美国有许多核电厂使用，美国政府评估核反应堆、航天飞机及国际空间站的安全性及可靠则是利用爱达荷国家实验室的SAPHIRE软件。美国以外的地区，RiskSpectrum是常用的故障树及事件树分析工具，世界上几乎有半数核电厂为了概率安全评估的需求而注册此软件使用。

符号

故障树分析的符号可以分为事件、闸以及转移符号。不同的故障树分析可能会有一些些差异。

转移符号

转移符号用来连接相关故障树的输入及输出，像是子系统的故障树及系统的故障树。

和其他分析方式的比较

故障树分析是演绎推理，是从上到下的方式，分析复杂系统初始失效及事件的影响。故障树分析恰好和失效模式与影响分析（FMEA）相反，FMEA是归纳推理，是从下到上的方式，分析设备或是子系统的单一元件失效或是机能失效的影响。故障树分析若用来分析系统如何避免单一般（或是多重）初始故障发生，是很好的工具，但无法用故障树分析找到所有可能的初始故障。FMEA可以用穷举的方式列出所有的初始故障，并识别其局部的影响，不适合用来检验多重失效，或是他们对系统层级的影响。故障树分析会考虑外部事件，而FMEA不会在民航机产业常会同时使用故障树分析及失效模式与影响分析，并且用故障模式效应概述（failure mode effects summary, FMES）作为两者的界面。
其他可以取代故障树分析的分析方式有可靠度方块图（RBD，也称为相依图dependence diagram，简称DD）及马尔可夫链。可靠度方块图等效于成功树分析（STA），在逻辑上恰好和故障树分析相反，而且用路径来代替闸。相依图和成功树分析成功（避免不想要事件）的机率，而不是不想要事件发生的机率。

历史

故障树分析（FTA）一开始是由贝尔实验室的H.A. Watson所发展的，一开始是因为美国空军第526 ICBM系统群的委托，要评估义勇兵一型洲际弹道导弹（ICBM）的发射控制系统。之后故障树分析开始成为可靠度分析者进行失效分析的工具。1962年义勇兵一型洲际弹道导弹的发射控制安全研究，第一次公布使用故障树分析技术，之后波音及Avco在1963年至1964年开始将故障树分析用在义勇兵二型的完全系统上。在1965年由波音及华盛顿大学赞助，在西雅图进行系统安全研讨会中，广泛的报导了故障树分析的相关技术。波音公司在1966年开始将故障树分析用在民航机的设计上。
之后，美国军方的皮卡汀尼·阿森纳在1960及1970年代开始将故障树分析用在引线的应用上。美国陆军装备司令部在1976年代开始将故障树分析整合到可靠度设计工程设计手册（Engineering Design Handbook on Design for Reliability）中。罗马实验室的可靠度分析中心以及后续在美国国防技术资讯中心下的组织自1960年代起出版了故障树分析及可靠度方块图的文件。MIL-HDBK-338B中有更近期的参考资料。
美国联邦航空管理局（FAA）在1970年在联邦公报35 FR 5665（
1970-04-08）中发布了14 CFR 25.1309的修订，是针对运输类航空器适航性的规定。这项修订采用了飞机系统及设备的失效机率准则，因此民航机业者开始普遍使用故障树分析。FAA在1998年发行了Order 8040.4，建了包括危害分析在内的风险管理政策，包括了在飞机通过认证之后的许多关键活动，包括航空交通管制及美国国家空域系统的现代化，后来美国联邦航空管理局也出版了FAA系统安全手册（FAA System Safety Handbook），其中描述了许多正式危害分析的方式，其中也包括了FTA的使用。
在美国的阿波罗计划初期，就已经针对将太空人送到月球，并且平安返回地球的可能机率进行分析。根据一些风险（或可靠度）计算的结果，任务成功的机率低到无法让人接受。因此NASA就不进行后续的定量分析或是可靠度分析，只依靠失效模式与影响分析及其他定性的系统安全评估工具，一直到发生挑战者号事件为止。之后NASA体验到故障树分析及概率风险评估（PRA）在系统安全及可靠度分析上的重要性，开始广为使用，后来故障树分析变成最重要的系统可靠度及安全分析技术之一。
在核能产业中，美国核能管理委员会在1975年开始使用包括故障树分析在内的概率风险评估（PRA），在1979年的三哩岛核泄漏事故后，大幅扩展了概率风险评估的相关研究。最后美国核能管理委员会在1981年出版了NRC Fault Tree Handbook NUREG–0492，也在核能管理委员会管辖的范围内强制使用概率风险评估技术。
在1984年博帕尔事件及1988年阿尔法钻井平台爆炸等工安事件后，美国劳工部职业安全与健康管理局 (OSHA) 在1992年在发布了联邦公报57 FR 6356（1992-02-24），其中提到19 CFR 1910.119中的流程安全管理（PSM）标准职业安全与健康管理局的程序安全管理系统将故障树分析视为是流程危害分析（PHA）的一种可行作法。
目前在系统安全及可靠度分析中广为使用故障树分析，故障树分析也应用在所有主要的工程领域中。