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 publication
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
T2 - International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013
Y2 - 15 December 2013 through 19 December 2013
ER -