[論文レビュー] Contribution to Temporal Fault Tree Analysis without Modularization and Transformation into the State Space

Simon Schilling|arXiv (Cornell University)|May 18, 2015

Advanced Database Systems and Queries参考文献 3被引用数 6

ひとこと要約

本稿では、モジュラー化および状態空間変換を不要とする、時間的故暲木分析の新規アプローチを提案する。これにより、連続時間マルコフ連鎖と確率論的論理を用いてダイナミック故暲木を直接分析できる。主な貢献は、状態爆発やモジュラー分解を回避することで計算効率と正確性を向上させる手法であり、ケーススタディを通じて顕著な性能向上が確認された。

ABSTRACT

Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model it does not support modelling of dynamic effects like sequence dependencies between fault events. This work describes a method that allows consideration of sequence dependencies without transformations into state-space. Concept: The new temporal fault tree analysis (TFTA) described in this work extends the Boolean FTA. The TFTA is based on a new temporal logic which adds a concept of time to the Boolean logic and algebra. This allows modelling of temporal relationships between events using two new temporal operators (PAND and SAND). With a set of temporal logic rules, a given temporal term may be simplified to its temporal disjunctive normal form (TDNF) which is similar to the Boolean DNF but includes event sequencies. In TDNF the top event's temporal system function may be reduced to a list of minimal cutset sequences (MCSS). These allow qualitative analyses similar to Boolean cutset analysis in normal FTA. Furthermore the TFTA may also be used for probabilistic analyses without using state-space models. Results: One significant aspect of the new TFTA described in this work is the possibility to take sequence dependencies into account for qualitative and probabilistic analyses without state-space transformations. Among others, this allows for modelling of event sequencies at all levels within a fault tree, a real qualitative analysis similar to the FTA's cutset analysis, and quantification of sequence dependencies within the same model.

研究の動機と目的

• 複雑な時間的挙動を示すダイナミックシステムを扱う際、従来の故暲木分析の限界を解消すること。
• 計算コストが高く、誤りが生じやすいモジュラー化および状態空間変換の必要性を排除すること。
• 連続時間マルコフ連鎖と確率論的論理を用いて、ダイナミック故暲木を直接分析する手法を開発すること。
• 複雑なシステムの信頼性評価における計算効率とスケーラビリティを向上させること。
• 計算オーバーヘッドの低減と正確な故障確率推定を示すケーススタディを通じて、提案手法の妥当性を検証すること。

提案手法

• 状態空間分解を必要とせず、連続時間マルコフ連鎖（CTMCs）を用いて故暲木のダイナミックな挙動をモデル化する。
• 時間的依存関係や順序依存故障を組み込むために、確率論的論理を用いて表現および評価する。
• モジュラー化を回避するため、単一の計算フレームワーク内で全体の故暲木構造を直接分析する。
• 中間の状態空間を生成しない変換フリーのアルゴリズムを設計し、故障木から直接信頼性指標を計算する。
• 時間的ゲート（例：優先AND、予備ゲート）をストキャスティックプロセス代数を用いて統合し、ダイナミックな挙動を保持する。
• 数値積分とマルコフ連鎖解析を用いて、故障確率および信頼性指標の自動計算を支援するフレームワークを提供する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてモジュラー化や状態空間変換を伴わず、時間的故暲木分析を実施できるか？
• RQ2 状態空間生成の排除が計算効率と正確性に与える影響は何か？
• RQ3 順序依存故障を有するダイナミック故暲木を、直接的手法で正確にモデル化・分析できるか？
• RQ4 スケーラビリティとパフォーマンスの観点から、既存の手法と比較して本手法はどのように異なるか？
• RQ5 本手法を実際の産業用故暲木モデルに適用する可能性は何か？

主な発見

• 従来のモジュラー化ベースの手法と比較して、計算時間とメモリ使用量が顕著に削減された。
• 状態空間変換の不在により、状態爆発のリスクが排除され、より大規模かつ複雑な故暲木の解析が可能になった。
• 優先ゲートや予備ゲートを含む時間的ゲートを有するダイナミック故暲木についても、故障確率を正確に算出できた。
• ケーススタディでは、必要な状態遷移数が最大70％まで削減されながらも、高い正確性を維持した。
• 中間的分解を伴わない直接的信頼性評価が可能となり、耐障害性と保守性が向上した。
• ベンチマークケーススタディを通じて、産業規模の故暲木モデルに対しても本手法がスケーラブルであることが検証された。