Explicit modelling and treatment of repair in prediction of dependability

Jose Ignacio Aizpurua, Yiannis Papadopoulos, Guillaume Merle

Research output: Contribution to journalArticle

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.
LanguageEnglish
JournalIEEE Transactions on Dependable and Secure Computing
Early online date19 Jul 2018
DOIs
Publication statusE-pub ahead of print - 19 Jul 2018

Fingerprint

Repair
Temporal logic
Redundancy
Chemical analysis

Keywords

  • repairable systems
  • dynamic dependability
  • reliability
  • reconfiguration

Cite this

@article{aa49df07238748a297997de1445b226d,
title = "Explicit modelling and treatment of repair in prediction of dependability",
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.",
keywords = "repairable systems, dynamic dependability, reliability, reconfiguration",
author = "Aizpurua, {Jose Ignacio} and Yiannis Papadopoulos and Guillaume Merle",
note = "(c) 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.",
year = "2018",
month = "7",
day = "19",
doi = "10.1109/TDSC.2018.2857810",
language = "English",
journal = "IEEE Transactions on Dependable and Secure Computing",
issn = "1545-5971",

}

Explicit modelling and treatment of repair in prediction of dependability. / Aizpurua, Jose Ignacio; Papadopoulos, Yiannis; Merle, Guillaume.

In: IEEE Transactions on Dependable and Secure Computing, 19.07.2018.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Explicit modelling and treatment of repair in prediction of dependability

AU - Aizpurua, Jose Ignacio

AU - Papadopoulos, Yiannis

AU - Merle, Guillaume

N1 - (c) 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

PY - 2018/7/19

Y1 - 2018/7/19

N2 - 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.

AB - 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.

KW - repairable systems

KW - dynamic dependability

KW - reliability

KW - reconfiguration

UR - https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=8858

U2 - 10.1109/TDSC.2018.2857810

DO - 10.1109/TDSC.2018.2857810

M3 - Article

JO - IEEE Transactions on Dependable and Secure Computing

T2 - IEEE Transactions on Dependable and Secure Computing

JF - IEEE Transactions on Dependable and Secure Computing

SN - 1545-5971

ER -