Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems

Cámara, Javier and de Lemos, Rogerio and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2015) Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems. IEEE Transactions on Dependable and Secure Computing, 6 (1). ISSN 1545-5971. E-ISSN 1545-5971. (doi:https://doi.org/10.1109/TDSC.2015.2429128) (Full text available)

PDF
Download (533kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1109/TDSC.2015.2429128

Abstract

An increasingly important requirement for certain classes of software-intensive systems is the ability to self-adapt their structure and behavior at run-time when reacting to changes that may occur to the system, its environment, or its goals. A major challenge related to self-adaptive software systems is the ability to provide assurances of their resilience when facing changes. Since in these systems, the components that act as controllers of a target system incorporate highly complex software, there is the need to analyze the impact that controller failures might have on the services delivered by the system. In this paper, we present a novel approach for evaluating the resilience of self-adaptive software systems by applying robustness testing techniques to the controller to uncover failures that can affect system resilience. The approach for evaluating resilience, which is based on probabilistic model checking, quantifies the probability of satisfaction of system properties when the target system is subject to controller failures. The feasibility of the proposed approach is evaluated in the context of an industrial middleware system used to monitor and manage highly populated networks of devices, which was implemented using the Rainbow framework for architecture-based self-adaptation.

Item Type: Article
Uncontrolled keywords: resilience evaluation, self-adaptive systems, robustness testing techniques, probabilistic model checking
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Rogerio de Lemos
Date Deposited: 21 Aug 2015 15:33 UTC
Last Modified: 19 Feb 2016 14:14 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/50275 (The current URI for this page, for reference purposes)
de Lemos, Rogerio: https://orcid.org/0000-0002-0281-6308
  • Depositors only (login required):

Downloads

Downloads per month over past year