Explicit Modelling and Treatment of Repair in Prediction of Dependability

Abstract

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.

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

“…This method used the Pandora model of FST, which was also comprehensively discussed in the study 87 . Moreover, Aizpurua et al 88 . proposed 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.…”

“…This method used the Pandora model of FST, which was also comprehensively discussed in the study. 87 Moreover, Aizpurua et al 88 proposed 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. Besides, coherence analysis of a two-input PAND gate for repairable and nonrepairable could identify useful regions for optimization and sensitivity analysis and better interpret the results of dynamic reliability models.…”

A combination method for integrated modular avionics safety analysis

“…Among model-based dependability analysis, hierarchically performed hazard origin and propagation studies (HiP-HOPS) method which is based on a number of well-established techniques such as function failure analysis (FFA), hierarchical model (HM), interface-based FMEA (IF-FMEA) and fault tree analysis (FTA) are some of the approaches for safety analysis of large-scale systems (Papadopoulos and McDermid, 1999; Papadopoulos et al , 2011; Kabir et al , 2018; Bozzano and Papadopoulos, 2017; Mian et al , 2012; Papadopoulos, 2000; Papadopoulos et al , 2016; Aizpurua et al , 2018; Mian et al , 2019a, 2019b; Mian et al , 2019b; Kabir et al , 2019; Kabir et al , 2020). Although HiP-HOPS is widely used for system analysis, it has some limitations.…”

“…An overview of the hierarchically performed hazard origin and propagation studies method HiP-HOPS (Papadopoulos and McDermid, 1999;Papadopoulos et al, 2016;Aizpurua et al, 2018) consists of four parts such as FFA, HM, IF-FMEA analysis and FTA synthesis. Its system hierarchical relationship is shown in Figure 1.…”