Jose Ignacio Aizpurua
Explicit Modelling and Treatment of Repair in Prediction of Dependability
Aizpurua, Jose Ignacio; Papadopoulos, Yiannis; Merle, Guillaume
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.
Citation
Aizpurua, J. I., Papadopoulos, Y., & Merle, G. (2020). Explicit Modelling and Treatment of Repair in Prediction of Dependability. IEEE Transactions on Dependable and Secure Computing, 17(6), 1147-1162. https://doi.org/10.1109/TDSC.2018.2857810
Journal Article Type | Article |
---|---|
Acceptance Date | Jul 12, 2018 |
Online Publication Date | Jul 19, 2018 |
Publication Date | Nov 1, 2020 |
Deposit Date | Feb 24, 2021 |
Publicly Available Date | Mar 3, 2021 |
Journal | IEEE Transactions on Dependable and Secure Computing |
Print ISSN | 1545-5971 |
Electronic ISSN | 1941-0018 |
Publisher | Institute of Electrical and Electronics Engineers |
Peer Reviewed | Peer Reviewed |
Volume | 17 |
Issue | 6 |
Pages | 1147-1162 |
DOI | https://doi.org/10.1109/TDSC.2018.2857810 |
Keywords | Repairable systems; Dynamic dependability; Reliability; Reconfiguration |
Public URL | https://hull-repository.worktribe.com/output/925386 |
Related Public URLs | https://strathprints.strath.ac.uk/64789/ |
Files
Article
(2.1 Mb)
PDF
Copyright Statement
© 2019 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
You might also like
Safety-Security Co-Engineering Framework
(2023)
Report
A Hybrid Modular Approach for Dynamic Fault Tree Analysis
(2020)
Journal Article
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search