<p>Quantitative analysis of risk models is essential to ensure the resilience of complex systems. Fault trees (FTs) form a ubiquitous prominent risk model, and unreliability is its key safety metric. As complex systems have larger and larger models, the complexity of algorithms computing unreliability is a pressing concern. Unfortunately, state-of-the-art algorithms, based on binary decision diagrams, do not give time complexity guarantees beyond a worst-case exponential bound. To address this issue, this paper introduces a new method to compute FT unreliability, extending the fast bottom-up algorithm for tree-shaped FTs to general FTs by framing its arithmetic in algebras of squarefree polynomials. We prove the validity of this algorithm, and that its time complexity is linear when the number of multiparent nodes is limited. Experiments establish the competitiveness of our new method.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis

  • Milan Lopuhaä-Zwakenberg

摘要

Quantitative analysis of risk models is essential to ensure the resilience of complex systems. Fault trees (FTs) form a ubiquitous prominent risk model, and unreliability is its key safety metric. As complex systems have larger and larger models, the complexity of algorithms computing unreliability is a pressing concern. Unfortunately, state-of-the-art algorithms, based on binary decision diagrams, do not give time complexity guarantees beyond a worst-case exponential bound. To address this issue, this paper introduces a new method to compute FT unreliability, extending the fast bottom-up algorithm for tree-shaped FTs to general FTs by framing its arithmetic in algebras of squarefree polynomials. We prove the validity of this algorithm, and that its time complexity is linear when the number of multiparent nodes is limited. Experiments establish the competitiveness of our new method.