信頼性工学の視点で行うシステム設計において，発生し得る障害の原因を分析する手法であるFTAの説明はどれか。