Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Radu Calinescu; Danny Weyns; Simos Gerasimou; M. Usman Iftikhar; Ibrahim Habli; Tim Kelly

doi:https://ieeexplore.ieee.org/document/8008800

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly

Computer Science

Research output: Working paper

Abstract

Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems.

Original language	English
DOIs	https://doi.org/https://ieeexplore.ieee.org/document/8008800
Publication status	Published - 18 Mar 2017

Bibliographical note

29 pages, 24 figures

Keywords

cs.SE
D.2.11; D.2.18; D.2.4.e; D.2

Access to Document

https://ieeexplore.ieee.org/document/8008800

Cite this

@techreport{403becb473c54151ac0c0087f7f336b2,

title = "Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases",

abstract = "Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems.",

keywords = "cs.SE, D.2.11; D.2.18; D.2.4.e; D.2",

author = "Radu Calinescu and Danny Weyns and Simos Gerasimou and Iftikhar, {M. Usman} and Ibrahim Habli and Tim Kelly",

note = "29 pages, 24 figures",

year = "2017",

month = mar,

day = "18",

doi = "https://ieeexplore.ieee.org/document/8008800",

language = "English",

type = "WorkingPaper",

}

TY - UNPB

T1 - Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

AU - Calinescu, Radu

AU - Weyns, Danny

AU - Gerasimou, Simos

AU - Iftikhar, M. Usman

AU - Habli, Ibrahim

AU - Kelly, Tim

N1 - 29 pages, 24 figures

PY - 2017/3/18

Y1 - 2017/3/18

N2 - Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems.

AB - Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems.

KW - cs.SE

KW - D.2.11; D.2.18; D.2.4.e; D.2

U2 - https://ieeexplore.ieee.org/document/8008800

DO - https://ieeexplore.ieee.org/document/8008800

M3 - Working paper

BT - Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

ER -