Skip to main content

Research Repository

Advanced Search

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances

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


Rogério de Lemos

David Garlan

Carlo Ghezzi

Holger Giese

Jesper Andersson

Marin Litoiu

Bradley R. Schmerl

Danny Weyns

Luciano Baresi

Yuriy Brun

Javier Cámara

Radu Calinescu

Myra B. Cohen

Alessandra Gorla

Vincenzo Grassi

Lars Grunske

Paola Inverardi

Jean-Marc Jézéquel

Sam Malek

Raffaela Mirandola

Marco Mori

Hausi A. Müller

Romain Rouvoy

Cecília M.F. Rubira

Éric Rutten

Mary Shaw

Giordano Tamburrelli

Gabriel Tamura

Norha M. Villegas

Thomas Vogel

Franco Zambonelli


Rogério de Lemos

David Garlan

Carlo Ghezzi

Holger Giese


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.


Lemos, R. D., Garlan, D., Ghezzi, C., Giese, H., Andersson, J., Litoiu, M., …Zambonelli, F. (2013). Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In R. de Lemos, D. Garlan, C. Ghezzi, & H. Giese (Eds.), .

Conference Name Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Publication Date 2013
Deposit Date Sep 29, 2022
Publisher Springer Verlag
Volume 9640
Pages 3-30
Series Title Lecture Notes in Computer Science
Public URL