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.
Citation:
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, and Franco Zambonelli, Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances, in Software Engineering for Self-Adaptive Systems III, R. d. Lemos et al., Eds., Springer, 2017.
Bibtex:
@incollection{Lemos17SEfSAS, 
  author = {Rog\'{e}rio de Lemos 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 Myra B. Cohen and Alessandra Gorla and
  Vincenzo Grassi and Lars Grunske and Paola Inverardi and Jean-Marc Jezequel
  and Sam Malek and Raffaela Mirandola and Marco Mori and 
  Hausi A. M{\"{u}}ller and Romain Rouvoy and Cecilia M. F. Rubira and Eric
  Rutten and Mary Shaw and Giordano Tamburrelli and Gabriel Tamura and 
  Norha M. Villegas and Thomas Vogel and Franco Zambonelli},
  title = {\href{http://people.cs.umass.edu/brun/pubs/pubs/Lemos17SEfSAS.pdf}{Software
  Engineering for Self-Adaptive Systems: {Research} Challenges in the
  Provision of Assurances}},
  booktitle = {Software Engineering for Self-Adaptive Systems III},
  venue = {Chapter},
  volume = {9640}, 
  editor = {Rog{\'{e}}rio de Lemos and David Garlan and Carlo Ghezzi and
  Holger Giese},
  publisher = {Springer}, 
  year = {2017},

  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.}
}