University of Hull logo

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

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

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.

Publication Date Jan 1, 2015
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
Publisher URL Full details of the published book are available at http://store.elsevier.c...nce/isbn-9780128023013/

Files



Downloadable Citations