ダイエット中のフォールトツリー：グラフ書き換えによる自動削減

要約 フォールトツリーは、信頼性のモデリングと分析のための一般的な産業技術です。スパア管理、機能依存、シーケンシングなどの一般的な信頼性パターンを用いた拡張は、動的フォールトツリー（DFT）として知られ、スケーラビリティに悪影響を与え、複雑な産業ケースの分析を禁止します。本論文では、DFTのための新しい完全自動削減技術を提案します。キーポイントは、DFTを有向グラフとして解釈し、グラフの書き換えを利用して簡素化することです。書き換えルールのコレクションを提示し、正確性に対処し、書き換えの順序を決定するための簡単なヒューリスティックを提供します。大規模なベンチマークセットに対する実験は、DFTの大幅な簡素化を示し、状態空間の削減とタイミングの改善を最大で2桁のオーダーで達成しました。