Software engineering for self-adaptive systems: research challenges in the provision of assurances

Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese; Jesper Andersson; Marin Litoiu; Bradley Schmerl; Danny Weyns; Luciano Baresi; Nelly Bencomo; Yuriy Brun; Javier Camara; Radu Calinescu; Myra B. Cohen; Alessandra Gorla; Vincenzo Grassi; Lars Grunske; Paola Inverardi; Jean Marc Jezequel; Sam Malek; Raffaela Mirandola; Marco Mori; Hausi A. Müller; Romain Rouvoy; Cecília M.F. Rubira; Eric Rutten; Mary Shaw; Giordano Tamburrelli; Gabriel Tamura; Norha M. Villegas; Thomas Vogel; Franco Zambonelli

doi:10.1007/978-3-319-74183-3_1

Software engineering for self-adaptive systems: research challenges in the provision of assurances

Rogério de Lemos^*, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Camara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean Marc Jezequel, Sam MalekRaffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M.F. Rubira, Eric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli

^*Corresponding author for this work

Research output: Chapter in Book/Published conference output › Conference publication

Abstract

The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.

Original language	English
Title of host publication	Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers
Editors	Carlo Ghezzi, David Garlan, Holger Giese, Rogerio de Lemos
Publisher	Springer
Pages	3-30
Number of pages	28
ISBN (Electronic)	978-3-319-74183-3
ISBN (Print)	9783319741826
DOIs	https://doi.org/10.1007/978-3-319-74183-3_1
Publication status	Published - 18 Jan 2018
Event	International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 - Dagstuhl Castle, Germany Duration: 15 Dec 2013 → 19 Dec 2013

Publication series

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

Conference

Conference	International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013
Country/Territory	Germany
City	Dagstuhl Castle
Period	15/12/13 → 19/12/13

Bibliographical note

Access to Document

10.1007/978-3-319-74183-3_1

Software Engineering for Self-adaptive Systems
© Springer International Publishing AG 2017
Accepted author manuscript, 844 KB

Cite this

de Lemos, R., Garlan, D., Ghezzi, C., Giese, H., Andersson, J., Litoiu, M., Schmerl, B., Weyns, D., Baresi, L., Bencomo, N., Brun, Y., Camara, J., Calinescu, R., Cohen, M. B., Gorla, A., Grassi, V., Grunske, L., Inverardi, P., Jezequel, J. M., ... Zambonelli, F. (2018). Software engineering for self-adaptive systems: research challenges in the provision of assurances. In C. Ghezzi, D. Garlan, H. Giese, & R. de Lemos (Eds.), Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers (pp. 3-30). (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_1

de Lemos, Rogério ; Garlan, David ; Ghezzi, Carlo et al. / Software engineering for self-adaptive systems : research challenges in the provision of assurances. Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. editor / Carlo Ghezzi ; David Garlan ; Holger Giese ; Rogerio de Lemos. Springer, 2018. pp. 3-30 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{805cfdd932d24c5398a730eaf1a6258d,

title = "Software engineering for self-adaptive systems: research challenges in the provision of assurances",

abstract = "The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.",

author = "{de Lemos}, Rog{\'e}rio and David Garlan and Carlo Ghezzi and Holger Giese and Jesper Andersson and Marin Litoiu and Bradley Schmerl and Danny Weyns and Luciano Baresi and Nelly Bencomo and Yuriy Brun and Javier Camara and Radu Calinescu and Cohen, {Myra B.} and Alessandra Gorla and Vincenzo Grassi and Lars Grunske and Paola Inverardi and Jezequel, {Jean Marc} and Sam Malek and Raffaela Mirandola and Marco Mori and M{\"u}ller, {Hausi A.} and Romain Rouvoy and Rubira, {Cec{\'i}lia M.F.} and Eric Rutten and Mary Shaw and Giordano Tamburrelli and Gabriel Tamura and Villegas, {Norha M.} and Thomas Vogel and Franco Zambonelli",

note = "{\textcopyright} Springer International Publishing AG 2017; International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 ; Conference date: 15-12-2013 Through 19-12-2013",

year = "2018",

month = jan,

day = "18",

doi = "10.1007/978-3-319-74183-3_1",

language = "English",

isbn = "9783319741826",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "3--30",

editor = "Carlo Ghezzi and David Garlan and Holger Giese and {de Lemos}, Rogerio",

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

address = "Germany",

}

de Lemos, R, Garlan, D, Ghezzi, C, Giese, H, Andersson, J, Litoiu, M, Schmerl, B, Weyns, D, Baresi, L, Bencomo, N, Brun, Y, Camara, J, Calinescu, R, Cohen, MB, Gorla, A, Grassi, V, Grunske, L, Inverardi, P, Jezequel, JM, Malek, S, Mirandola, R, Mori, M, Müller, HA, Rouvoy, R, Rubira, CMF, Rutten, E, Shaw, M, Tamburrelli, G, Tamura, G, Villegas, NM, Vogel, T & Zambonelli, F 2018, Software engineering for self-adaptive systems: research challenges in the provision of assurances. in C Ghezzi, D Garlan, H Giese & R de Lemos (eds), Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9640 LNCS, Springer, pp. 3-30, 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_1

Software engineering for self-adaptive systems: research challenges in the provision of assurances. / de Lemos, Rogério; Garlan, David; Ghezzi, Carlo et al.
Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. ed. / Carlo Ghezzi; David Garlan; Holger Giese; Rogerio de Lemos. Springer, 2018. p. 3-30 (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/Published conference output › Conference publication

TY - GEN

T1 - Software engineering for self-adaptive systems

T2 - International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013

AU - de Lemos, Rogério

AU - Garlan, David

AU - Ghezzi, Carlo

AU - Giese, Holger

AU - Andersson, Jesper

AU - Litoiu, Marin

AU - Schmerl, Bradley

AU - Weyns, Danny

AU - Baresi, Luciano

AU - Bencomo, Nelly

AU - Brun, Yuriy

AU - Camara, Javier

AU - Calinescu, Radu

AU - Cohen, Myra B.

AU - Gorla, Alessandra

AU - Grassi, Vincenzo

AU - Grunske, Lars

AU - Inverardi, Paola

AU - Jezequel, Jean Marc

AU - Malek, Sam

AU - Mirandola, Raffaela

AU - Mori, Marco

AU - Müller, Hausi A.

AU - Rouvoy, Romain

AU - Rubira, Cecília M.F.

AU - Rutten, Eric

AU - Shaw, Mary

AU - Tamburrelli, Giordano

AU - Tamura, Gabriel

AU - Villegas, Norha M.

AU - Vogel, Thomas

AU - Zambonelli, Franco

PY - 2018/1/18

Y1 - 2018/1/18

N2 - The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.

AB - The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is the provision of assurances, i.e., the collection, analysis and synthesis of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty. This paper on research challenges complements previous roadmap papers on software engineering for self-adaptive systems covering a different set of topics, which are related to assurances, namely, perpetual assurances, composition and decomposition of assurances, and assurances obtained from control theory. This research challenges paper is one of the many results of the Dagstuhl Seminar 13511 on Software Engineering for Self-Adaptive Systems: Assurances which took place in December 2013.

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

UR - https://link.springer.com/chapter/10.1007%2F978-3-319-74183-3_1

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

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

M3 - Conference publication

AN - SCOPUS:85041808822

SN - 9783319741826

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

SP - 3

EP - 30

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

A2 - Ghezzi, Carlo

A2 - Garlan, David

A2 - Giese, Holger

A2 - de Lemos, Rogerio

PB - Springer

Y2 - 15 December 2013 through 19 December 2013

ER -

de Lemos R, Garlan D, Ghezzi C, Giese H, Andersson J, Litoiu M et al. Software engineering for self-adaptive systems: research challenges in the provision of assurances. In Ghezzi C, Garlan D, Giese H, de Lemos R, editors, Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. Springer. 2018. p. 3-30. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-74183-3_1

Software engineering for self-adaptive systems: research challenges in the provision of assurances

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this