[論文レビュー] Parametric Dependability Analysis through Probabilistic Horn Abduction

Andrea Bobbio, Stefania Montani+1 more|arXiv (Cornell University)|Oct 19, 2012

Software Reliability and Analysis Research参考文献 10被引用数 6

ひとこと要約

本稿は、パラメトリック故障ツリー（PFT）を確率的ホーン帰納（PHA）枠組みにマッピングすることで、展開を伴わずに冗長システムの直接的分析を可能にする、新しいパラメトリック信頼性解析手法を提案する。この手法は、定性的および定量的信頼性指標、ノイズのあるゲート、局所的依存関係、事後確率分析を、状態空間の爆発や統計的独立性の仮定を回避するコン pact なパラメトリック表現内でサポートする。

ABSTRACT

Dependability modeling and evaluation is aimed at investigating that a system performs its function correctly in time. A usual way to achieve a high reliability, is to design redundant systems that contain several replicas of the same subsystem or component. State space methods for dependability analysis may suffer of the state space explosion problem in such a kind of situation. Combinatorial models, on the other hand, require the simplified assumption of statistical independence; however, in case of redundant systems, this does not guarantee a reduced number of modeled elements. In order to provide a more compact system representation, parametric system modeling has been investigated in the literature, in such a way that a set of replicas of a given subsystem is parameterized so that only one representative instance is explicitly included. While modeling aspects can be suitably addressed by these approaches, analytical tools working on parametric characterizations are often more difficult to be defined and the standard approach is to 'unfold' the parametric model, in order to exploit standard analysis algorithms working at the unfolded 'ground' level. Moreover, parameterized combinatorial methods still require the statistical independence assumption. In the present paper we consider the formalism of Parametric Fault Tree (PFT) and we show how it can be related to Probabilistic Horn Abduction (PHA). Since PHA is a framework where both modeling and analysis can be performed in a restricted first-order language, we aim at showing that converting a PFT into a PHA knowledge base will allow an approach to dependability analysis directly exploiting parametric representation. We will show that classical qualitative and quantitative dependability measures can be characterized within PHA. Furthermore, additional modeling aspects (such as noisy gates and local dependencies) as well as additional reliability measures (such as posterior probability analysis) can be naturally addressed by this conversion. A simple example of a multi-processor system with several replicated units is used to illustrate the approach.

研究の動機と目的

• 冗長システムの信頼性解析における状態空間の爆発問題に対処すること。
• 統計的独立性の仮定に依存する組合せモデルの制限を克服すること。
• グランドインスタンスに展開することなく、パラメトリックシステムモデルの直接的解析を可能にすること。
• ノイズのあるゲートやパラメトリック故障ツリーにおける局所的依存関係などの高度なモデリング機能をサポートすること。
• 確率的推論を用いて、定性的および定量的信頼性指標を統合的に扱うフレームワークを提供すること。

提案手法

• 制限付きの一階論理言語を用いて、パラメトリック故障ツリー（PFT）を確率的ホーン帰納（PHA）知識ベースにマッピングすること。
• PHAフレームワーク内において、システム部品と故障事象を確率を関連付ける論理アトムとして表現すること。
• PHAの帰納的推論メカニズムを用いて、パラメトリックモデルから直接的にシステム信頼性および故障確率を計算すること。
• 論理的規則と確率的アサーションを用いて、依存関係および冗長構造をPHAでエンコードすること。
• 帰納的クエリを用いて、システムレベルの観測結果から部品状態を推論する、事後確率分析をサポートすること。
• 分析全体を通してパラメトリック抽象化を維持することで、状態空間の爆発を回避し、モデルのコンパクトさを保つこと。

実験結果

リサーチクエスチョン

• RQ1 パラメトリック故障ツリーは、直接的解析を可能にする確率的論理枠組みに効果的に変換可能か？
• RQ2 PHAフレームワークは、冗長システムにおけるノイズのあるゲートや局所的故障といった複雑な依存関係を処理できるか？
• RQ3 提案手法により、モデルの展開を伴わずに標準的な信頼性指標（例：システム故障確率）の計算が可能か？
• RQ4 事後確率分析は、パラメトリックPHAフレームワーク内で自然にサポート可能か？
• RQ5 従来の状態空間法や組合せ法と比較して、本手法はスケーラブルかつ正確か？

主な発見

• PHAフレームワークは、モデルの展開を要せず、パラメトリック故障ツリーの直接的解析を成功裏にサポートし、コンパクトさを維持する。
• 古典的な信頼性指標（例：システム故障確率、構造関数）は、PHAにおける帰納的推論によって計算可能である。
• ノイズのあるゲートや局所的依存関係といったモデル拡張は、論理的規則と確率的アサーションによってネイティブにサポートされる。
• PHAのクエリメカニズムにより、事後確率分析が自然に可能となり、システム動作を観測したもとでの部品状態の推論が可能になる。
• 本手法は、組合せモデルに一般的に見られる統計的独立性の仮定を回避しており、より現実的な故障モデリングを可能にする。
• マルチプロセッサシステムの事例研究により、本手法の実現可能性と表現力が、冗長性と依存関係の両方を扱えることの裏付けが得られた。