Failure Mode Reasoning

Jahanian, Hamid

doi:10.1109/icsrs48664.2019.8987716

Cited by 10 publications

(12 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Failure Mode Reasoning (FMR) approach, which identifies all the failure modes of safety-critical system inputs that can result in an undesired state at its output. The FMR process consists of four main stages [10]:…”

Section: Resultsmentioning

confidence: 99%

“…Currently, HiP-HOPS lacks the modeling of multi-state system components and also cannot provide generic mathematical expressions that can be used to predict the reliability of a critical-system based on any probabilistic distribution [9]. Similarly, Jahanian in [10] has proposed a new technique called Failure Mode Reasoning (FMR) for identifying and quantifying the failure modes for safety-critical systems at the subsystem level. However, according to Jahanian [11], the soundness of the FMR approach needs to be proven mathematically.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

Abdelghany,

Tahar

2021

Preprint

View full text Add to dashboard Cite

Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their potential consequences using Fault Tree (FT) and Event Tree (ET) methods, which are well-known dependability modeling techniques. Paperand-pencil-based approaches and simulation tools, such as the Monte-Carlo approach, are commonly used to carry out CCD analysis, but lack the ability to rigorously verify essential system reliability properties. In this work, we propose to use formal techniques based on theorem proving for the formal modeling and step-analysis of CCDs to overcome the inaccuracies of the simulation-based analysis and the error-proneness of informal reasoning by mathematical proofs. In particular, we use the HOL4 theorem prover, which is a computer-based mathematical reasoning tool. To this end, we developed a formalization of CCDs in Higher-Order Logic (HOL), based on the algebraic approach, using HOL4. We demonstrate the practical effectiveness of the proposed CCD formalization by performing the formal reliability analysis of the IEEE 39-bus electrical power network. Also, we formally determine the Forced Outage Rate (FOR) of the power generation units and the network reliability index, i.e., System Average Interruption Duration Index (SAIDI). To assess the accuracy of our proposed approach, we compare our results with those obtained with MATLAB Monte-Carlo Simulation (MCS) as well as other state-of-the-art approaches for subsystem-level reliability analysis.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

Abdelghany,

Tahar

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…3) The Failure Mode Reasoning (FMR) approach, which identifies all the failure modes of safety-critical system inputs that can result in an undesired state at its output. The FMR process consists of four main stages [10]: a) Composition: Failure mode variables are defined and a set of logical implication statements is generated that express local failure modes. b) Substitution: Local statements will be combined to create a single global implication statement between the critical-system inputs and outputs.…”

Section: ) F or Analysismentioning

confidence: 99%

“…Currently, HiP-HOPS lacks the modeling of multi-state system components and also cannot provide generic mathematical expressions that can be used to predict the reliability of a critical-system based on any probabilistic distribution [9]. Similarly, Jahanian in [10] has proposed a new technique called Failure Mode Reasoning (FMR) for identifying and quantifying the failure modes for safetycritical systems at the subsystem level. However, according to Jahanian et al [11], the soundness of the FMR approach needs to be proven mathematically.…”

Section: Introductionmentioning

confidence: 99%

Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks

Abdelghany

Tahar

2021

IEEE Access

View full text Add to dashboard Cite

Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis technique for decision-making at the critical-system design stage. This approach models the causes of subsystem failures in a highly-critical system and their potential consequences using Fault Tree (FT) and Event Tree (ET) methods, which are well-known dependability modeling techniques. Paper-and-pencil-based approaches and simulation tools, such as the Monte-Carlo approach, are commonly used to carry out CCD analysis, but lack the ability to rigorously verify essential system reliability properties. In this paper, we propose to use formal techniques based on theorem proving for the formal modeling and step-analysis of CCDs to overcome the inaccuracies of the simulation-based analysis and the error-proneness of informal reasoning by mathematical proofs. In particular, we use the HOL4 theorem prover, which is a computer-based mathematical reasoning tool. To this end, we developed a formalization of CCDs in Higher-Order Logic (HOL), based on the algebraic approach, using HOL4. We demonstrate the practical effectiveness of the proposed CCD formalization by performing the formal reliability analysis of the IEEE 39-bus electrical power network. Also, we formally determine the Forced Outage Rate (FOR) of the power generation units and the network reliability index, i.e., System Average Interruption Duration Index (SAIDI). To assess the accuracy of our proposed approach, we compare our results with those obtained with MATLAB Monte-Carlo Simulation (MCS) as well as other state-of-the-art approaches for subsystem-level reliability analysis.

show abstract

“…We skip this stage for this simple example. A comprehensive safety analysis for a realistic case study is described in other work [17].…”

Section: Fmr In Practicementioning

confidence: 99%

Reasoning with failures

Jahanian,

McIver

2020

Preprint

Self Cite

View full text Add to dashboard Cite

Safety Instrumented Systems (SIS) protect major hazard facilities, e.g. power plants, against catastrophic accidents. An SIS consists of hardware components and a controller software -the "program". Current safety analyses of SIS' include the construction of a fault tree, summarising potential faults of the components and how they can arise within an SIS. The exercise of identifying faults typically relies on the experience of the safety engineer. Unfortunately the program part is often too complicated to be analysed in such a "by hand" manner and so the impact it has on the resulting safety analysis is not accurately captured. In this paper we demonstrate how a formal model for faults and failure modes can be used to analyse the impact of an SIS program. We outline the underlying concepts of Failure Mode Reasoning and its application in safety analysis, and we illustrate the ideas on a practical example.

show abstract

Failure Mode Reasoning

Cited by 10 publications

References 9 publications

Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

Formal FT-based Cause-Consequence Reliability Analysis using Theorem Proving

Cause-Consequence Diagram Reliability Analysis Using Formal Techniques With Application to Electrical Power Networks

Reasoning with failures

Contact Info

Product

Resources

About