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.

de Lemos, R., Garlan, D., Ghezzi, C., Giese, H., Andersson, J., Litoiu, M., et al. (2017). Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In D.G. Rogério de Lemos (a cura di), Software Engineering for Self-Adaptive Systems III (pp. 3-30). Springer [10.1007/978-3-319-74183-3_1].

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

Vincenzo Grassi;
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.
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
English
Rilevanza internazionale
Capitolo o saggio
Software Engineering; Self-adaptive; Assurances;
de Lemos, R., Garlan, D., Ghezzi, C., Giese, H., Andersson, J., Litoiu, M., et al. (2017). Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. In D.G. Rogério de Lemos (a cura di), Software Engineering for Self-Adaptive Systems III (pp. 3-30). Springer [10.1007/978-3-319-74183-3_1].
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, J; Malek, S; Mirandola, R; Mori, M; Muller, Ha; Rouvoy, R; Rubira, Cmf; Rutten, E; Shaw, M; Tamburrelli, G; Tamura, G; Villegas, Nm; Vogel, T; Zambonelli, F
Contributo in libro
File in questo prodotto:
File Dimensione Formato  
SEfSAS-IIIbook-ResearchChallenges.pdf

non disponibili

Descrizione: Articolo principale
Tipologia: Versione Editoriale (PDF)
Licenza: Copyright dell'editore
Dimensione 435.83 kB
Formato Adobe PDF
435.83 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2108/193392
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 60
  • ???jsp.display-item.citation.isi??? ND
social impact