Integrating several formalisms in order to increase Fault Trees' modeling power

Codetta‐Raiteri, Daniele

doi:10.1016/j.ress.2010.12.027

Cited by 23 publications

(16 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In particular, repairable PAND gates can be interpreted in several ways [97,98]: If the second input to a PAND is repaired but fails again it is unclear from the informal description if the PAND should fail. Similar discussions exist for other dynamic gates [99]. Also, the semantics is not clearly defined if the children of a SPARE or FDEP gate are (potentially shared) subtrees.…”

Section: Stochastic Semanticsmentioning

confidence: 89%

See 1 more Smart Citation

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Ruijters

Stoelinga

2015

Computer Science Review

604

368

View full text Add to dashboard Cite

Reliability Risk analysis Dynamic Fault Trees Graphical models Dependability evaluation A B S T R A C T Fault tree analysis (FTA) is a very prominent method to analyze the risks related to safety and economically critical assets, like power plants, airplanes, data centers and web shops. FTA methods comprise of a wide variety of modeling and analysis techniques, supported by a wide range of software tools. This paper surveys over 150 papers on fault tree analysis, providing an in-depth overview of the state-of-the-art in FTA. Concretely, we review standard fault trees, as well as extensions such as dynamic FT, repairable FT, and extended FT. For these models, we review both qualitative analysis methods, like cut sets and common cause failures, and quantitative techniques, including a wide variety of stochastic methods to compute failure probabilities. Numerous examples illustrate the various approaches, and tables present a quick overview of results.

show abstract

Section: Stochastic Semanticsmentioning

confidence: 89%

“…A later extension by Codetta-Raiteri [175,99] combines Parametric, Dynamic, and Repairable FTs, allowing complex repair policies, and also performs quantitative analysis by conversion to a Stochastic Well-Formed Net.…”

Section: Repairable Fault Treesmentioning

confidence: 99%

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Ruijters

Stoelinga

2015

Computer Science Review

604

368

View full text Add to dashboard Cite

show abstract

“…2a). Generalized Fault Tree (GFT) [14] adds repair processes to the DFT by adding an explicit repair-triggering mechanism which repairs a single or a group of BEs through predefined failure and repair processes. Boolean logic Driven Markov Processes (BDMP) [15] add repair processes to the BEs which are triggered by Markov processes.…”

Section: Related Workmentioning

confidence: 99%

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Aizpurua

Papadopoulos

Merle

2020

IEEE Trans. Dependable and Secure Comput.

View full text Add to dashboard Cite

The Strathprints institutional repository (https://strathprints.strath.ac.uk) is a digital archive of University of Strathclyde research outputs. It has been developed to disseminate open access research outputs, expose data about those outputs, and enable the management and persistent access to Strathclyde's intellectual output. Abstract-In engineering practice, multiple repair actions are considered carefully by designers, and their success or failure defines further control actions and the evolution of the system state. Such treatment is not fully supported by the current state-of-the-art in dependability analysis. We propose a novel approach for explicit modelling and analysis of repairable systems, and describe an implementation, which builds on HiP-HOPS, a method and tool for model-based synthesis of dependability evaluation models. HiP-HOPS is augmented with Pandora, a temporal logic for the qualitative analysis of Temporal Fault Trees (TFTs), and capabilities for quantitative dependability analysis via Stochastic Activity Networks (SAN). Dependability prediction is achieved via explicit modelling of local failure and repair events in a system model and then by: (i) propagation of local effects through the model and synthesis of repair-aware TFTs for the system, (ii) qualitative analysis of TFTs that respects both failure and repair logic and (iii) quantification of dependability via translation of repair-aware TFTs into SAN. The approach provides insight into the effects of multiple and alternative failure and repair scenarios, and can thus be useful in reconfigurable systems that typically employ software to utilise functional redundancies in a variety of ways.

show abstract

“…All intricacies originate from possibly undesired behaviour of, or claims made about, existing semantics. In this work, we omit the concept of repairs, which give rise to several other open questions [16].…”

Section: Introductionmentioning

confidence: 99%

Uncovering Dynamic Fault Trees

Junges

Guck

Katoen

et al. 2016

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

View full text Add to dashboard Cite

Abstract-Fault tree analysis is a widespread industry standard for assessing system reliability. Standard (static) fault trees model the failure behaviour of systems in dependence of their component failures. To overcome their limited expressive power, common dependability patterns, such as spare management, functional dependencies, and sequencing are considered. A plethora of such dynamic fault trees (DFTs) have been defined in the literature. They differ in e.g., the types of gates (elements), their meaning, expressive power, the way in which failures propagate, how elements are claimed and activated, and how spare races are resolved. This paper systematically uncovers these differences and categorises existing DFT variants. As these differences may have huge impact on the reliability assessment, awareness of these impacts is important when using DFT modelling and analysis.

show abstract

Integrating several formalisms in order to increase Fault Trees' modeling power

Cited by 23 publications

References 13 publications

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Explicit Modelling and Treatment of Repair in Prediction of Dependability

Uncovering Dynamic Fault Trees

Contact Info

Product

Resources

About