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.

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: Apr 21, 2016
• 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/
• Contract Date: Apr 21, 2016