fta故障树分析法案例