Perpetual assurances for self-adaptive systems

Danny Weyns*, Nelly Bencomo, Radu Calinescu, Javier Camara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean Marc Jezequel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation.

Original languageEnglish
Title of host publicationSoftware Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers
PublisherSpringer
Pages31-63
Number of pages33
Volume9640 LNCS
ISBN (Print)9783319741826
DOIs
Publication statusPublished - 18 Jan 2018
EventInternational Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 - Dagstuhl Castle, Germany
Duration: 15 Dec 201319 Dec 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9640 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013
CountryGermany
CityDagstuhl Castle
Period15/12/1319/12/13

Fingerprint

Adaptive systems
Adaptive Systems
Concretes
Self-adaptation
Requirements
Lifetime
Integrate
Benchmark
Uncertainty
Sensor
Sensors
Human

Cite this

Weyns, D., Bencomo, N., Calinescu, R., Camara, J., Ghezzi, C., Grassi, V., ... Tamburrelli, G. (2018). Perpetual assurances for self-adaptive systems. In Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers (Vol. 9640 LNCS, pp. 31-63). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9640 LNCS). Springer. https://doi.org/10.1007/978-3-319-74183-3_2
Weyns, Danny ; Bencomo, Nelly ; Calinescu, Radu ; Camara, Javier ; Ghezzi, Carlo ; Grassi, Vincenzo ; Grunske, Lars ; Inverardi, Paola ; Jezequel, Jean Marc ; Malek, Sam ; Mirandola, Raffaela ; Mori, Marco ; Tamburrelli, Giordano. / Perpetual assurances for self-adaptive systems. Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. Vol. 9640 LNCS Springer, 2018. pp. 31-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{0dc28898171e4fe79ed7a70e7d1d76ff,
title = "Perpetual assurances for self-adaptive systems",
abstract = "Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation.",
author = "Danny Weyns and Nelly Bencomo and Radu Calinescu and Javier Camara and Carlo Ghezzi and Vincenzo Grassi and Lars Grunske and Paola Inverardi and Jezequel, {Jean Marc} and Sam Malek and Raffaela Mirandola and Marco Mori and Giordano Tamburrelli",
year = "2018",
month = "1",
day = "18",
doi = "10.1007/978-3-319-74183-3_2",
language = "English",
isbn = "9783319741826",
volume = "9640 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "31--63",
booktitle = "Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers",
address = "Germany",

}

Weyns, D, Bencomo, N, Calinescu, R, Camara, J, Ghezzi, C, Grassi, V, Grunske, L, Inverardi, P, Jezequel, JM, Malek, S, Mirandola, R, Mori, M & Tamburrelli, G 2018, Perpetual assurances for self-adaptive systems. in Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. vol. 9640 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9640 LNCS, Springer, pp. 31-63, International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013, Dagstuhl Castle, Germany, 15/12/13. https://doi.org/10.1007/978-3-319-74183-3_2

Perpetual assurances for self-adaptive systems. / Weyns, Danny; Bencomo, Nelly; Calinescu, Radu; Camara, Javier; Ghezzi, Carlo; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jezequel, Jean Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco; Tamburrelli, Giordano.

Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. Vol. 9640 LNCS Springer, 2018. p. 31-63 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9640 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Perpetual assurances for self-adaptive systems

AU - Weyns, Danny

AU - Bencomo, Nelly

AU - Calinescu, Radu

AU - Camara, Javier

AU - Ghezzi, Carlo

AU - Grassi, Vincenzo

AU - Grunske, Lars

AU - Inverardi, Paola

AU - Jezequel, Jean Marc

AU - Malek, Sam

AU - Mirandola, Raffaela

AU - Mori, Marco

AU - Tamburrelli, Giordano

PY - 2018/1/18

Y1 - 2018/1/18

N2 - Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation.

AB - Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation.

UR - http://www.scopus.com/inward/record.url?scp=85041863959&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-74183-3_2

DO - 10.1007/978-3-319-74183-3_2

M3 - Conference contribution

AN - SCOPUS:85041863959

SN - 9783319741826

VL - 9640 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 31

EP - 63

BT - Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers

PB - Springer

ER -

Weyns D, Bencomo N, Calinescu R, Camara J, Ghezzi C, Grassi V et al. Perpetual assurances for self-adaptive systems. In Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. Vol. 9640 LNCS. Springer. 2018. p. 31-63. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-74183-3_2