[论文解读] 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

一句话总结

该论文提出了一种新颖的参数化可靠性分析方法，通过将参数化故障树（PFTs）映射到概率霍恩归结（PHA）框架，实现了对冗余系统无需展开的直接分析。该方法支持定性与定量可靠性度量、噪声门、局部依赖关系以及后验概率分析，采用紧凑的参数化表示，避免了状态空间爆炸问题和统计独立性假设。

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.

研究动机与目标

• 解决冗余系统可靠性分析中的状态空间爆炸问题。
• 克服依赖于统计独立性假设的组合模型的局限性。
• 实现在无需展开为具体实例的情况下，对参数化系统模型进行直接分析。
• 支持参数化故障树中的高级建模特性，如噪声门和局部依赖关系。
• 通过概率推理提供统一的定性与定量可靠性度量框架。

提出的方法

• 使用受限一阶语言，将参数化故障树（PFTs）映射到概率霍恩归结（PHA）知识库中。
• 在PHA框架中，将系统组件和故障事件表示为带有相关概率的逻辑原子。
• 利用PHA的归结推理机制，直接从参数化模型计算系统可靠性与故障概率。
• 通过PHA中的逻辑规则与概率断言，编码依赖关系与冗余结构。
• 通过归结查询支持后验概率分析，以在给定系统级观测时推断组件状态。
• 在整个分析过程中保持参数化抽象，避免状态空间爆炸并维持模型紧凑性。

实验结果

研究问题

• RQ1 参数化故障树能否被有效转换为支持直接分析的概率逻辑框架？
• RQ2 PHA框架能否处理冗余系统中如噪声门和局部故障等复杂依赖关系？
• RQ3 所提出的方法是否能在不展开模型的前提下计算标准可靠性度量（例如系统故障概率）？
• RQ4 后验概率分析是否能在参数化PHA框架中自然支持？
• RQ5 与传统状态空间或组合方法相比，该方法是否具备可扩展性与准确性？

主要发现

• PHA框架成功支持了无需展开模型的参数化故障树直接分析，保持了模型紧凑性。
• 通过PHA中的归结推理，可计算经典可靠性度量，如系统故障概率与结构函数。
• 通过逻辑规则与概率断言，噪声门与局部依赖关系等建模扩展可原生支持。
• PHA的查询机制自然支持后验概率分析，可基于系统行为推断组件状态。
• 该方法避免了组合模型中常见的统计独立性假设，支持更真实的故障建模。
• 多处理器系统案例研究证明了该方法在处理冗余与依赖关系方面的可行性与表达能力。