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

An outcome of the Dagstuhl seminar on Software Engineering for Self-Adaptive Systems: Assurances is the LNCS book entitled "Software Engineering for Self-Adaptive Systems III" (to appear) that contains results from discussions at the seminar, in particularly a paper summarizing research challenges in the provision of assurances.  A preprint of the challenges paper can be found here:

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

by

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, Cecilia M. F. Rubira, Eric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli

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.

 Download the draft version of the paper (PDF, 2MB).

 

To cite the paper:

Software Engineering for Self-adaptive Systems: Research Challenges in the Provision of Assurances. In: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (eds.) Software Engineering for Self-Adaptive Systems III. LNCS 9640. Springer. (to appear)

BibTeX:

@incollection{SEFSAS3-challenges, 
 author = {de Lemos, Rog\'{e}rio and Garlan, David and Ghezzi,   
 Carlo and Giese, Holger and Andersson, Jesper and Litoiu, Marin 
 and Schmerl, Bradley and Weyns, Danny and Baresi, Luciano and 
 Bencomo, Nelly and Brun, Yuriy and Camara, Javier and Calinescu, 
 Radu and Cohen, Myra B. and Gorla, Alessandra and Grassi, 
 Vincenzo and Grunske, Lars and Inverardi, Paola and Jezequel, 
 Jean-Marc and Malek, Sam and Mirandola, Raffaela and Mori, Marco 
 and M\"{u}ller, Hausi A. and Rouvoy, Romain and Rubira, Cecilia 
 M. F. and Rutten, Eric and Shaw, Mary and Tamburrelli, Giordano 
 and Tamura, Gabriel and Villegas, Norha M. and Vogel, Thomas and 
 Zambonelli, Franco}, 
 title = {Software Engineering for Self-adaptive Systems: 
 Research Challenges in the Provision of Assurances}, 
 booktitle = {Software Engineering for Self-Adaptive Systems III}, 
 volume = {9640}, 
 editor = {de Lemos, Rog\'{e}rio and Garlan, David and Ghezzi, 
 Carlo and Giese, Holger}, 
 series = {Lecture Notes in Computer Science (LNCS)}, 
 publisher = {Springer}, 
 note = {(to appear)}
}

Leave a Reply

Your email address will not be published. Required fields are marked *