Skip to main content

Research Repository

Advanced Search

Model-based dependability analysis : state-of-the-art, challenges and future outlook

Sharvia, Septavera; Kabir, Sohag; Walker, Martin; Papadopoulos, Yiannis

Authors

Sohag Kabir

Martin Walker



Contributors

Ivan Mistrik
Editor

Nour Ali
Editor

Bedir Tekinerdogan
Editor

Richard Soley
Editor

John Grundy
Editor

Abstract

Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. The other utilizes design models - typically state automata - to explore system behaviour through fault injection. This paper reviews a number of prominent techniques under these two paradigms, and provides an insight into their working mechanism, applicability, strengths and challenges, as well as recent developments within these fields. We also discuss the emerging trends on integrated approaches and advanced analysis capabilities. Lastly, we outline the future outlook for model-based dependability analysis.

Citation

Sharvia, S., Kabir, S., Walker, M., & Papadopoulos, Y. (2015). Model-based dependability analysis : state-of-the-art, challenges and future outlook. In I. Mistrik, N. Ali, B. Tekinerdogan, R. Soley, & J. Grundy (Eds.), Software Quality Assurance: In Large Scale and Complex Software-intensive Systems (251-278). Elsevier. https://doi.org/10.1016/B978-0-12-802301-3.00012-0

Acceptance Date Aug 14, 2015
Online Publication Date Oct 30, 2015
Publication Date Jan 1, 2015
Deposit Date Apr 21, 2016
Publicly Available Date Mar 29, 2024
Journal Software quality assurance for large scale systems
Publisher Elsevier
Peer Reviewed Not Peer Reviewed
Pages 251-278
Book Title Software Quality Assurance: In Large Scale and Complex Software-intensive Systems
Chapter Number 12
ISBN 9780128023013; 9780128025413
DOI https://doi.org/10.1016/B978-0-12-802301-3.00012-0
Keywords Model-based dependability analysis, Safety analysis, System design, Failure logic modelling, Behavioural fault injection
Public URL https://hull-repository.worktribe.com/output/436657
Publisher URL Full details of the published book are available at http://store.elsevier.com/Software-Quality-Assurance/isbn-9780128023013/

Files





You might also like



Downloadable Citations