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.

Software engineering for self-adaptive systems: research challenges in the provision of assurances / 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.; Malek, S.; Mirandola, R.; Mori, M.; Muller, H. A.; Rouvoy, R.; Rubira, C. M. F.; Rutten, E.; Shaw, M.; Tamburrelli, G.; Tamura, G.; Villegas, N. M.; Vogel, T.; Zambonelli, F.. - 9640:(2017), pp. 3-30. ((Intervento presentato al convegno International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 tenutosi a deu nel 2013 [10.1007/978-3-319-74183-3_1].

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

Grassi V.;Zambonelli F.
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.
International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013
deu
2013
9640
3
30
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.; Malek, S.; Mirandola, R.; Mori, M.; Muller, H. A.; Rouvoy, R.; Rubira, C. M. F.; Rutten, E.; Shaw, M.; Tamburrelli, G.; Tamura, G.; Villegas, N. M.; Vogel, T.; Zambonelli, F.
Software engineering for self-adaptive systems: research challenges in the provision of assurances / 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.; Malek, S.; Mirandola, R.; Mori, M.; Muller, H. A.; Rouvoy, R.; Rubira, C. M. F.; Rutten, E.; Shaw, M.; Tamburrelli, G.; Tamura, G.; Villegas, N. M.; Vogel, T.; Zambonelli, F.. - 9640:(2017), pp. 3-30. ((Intervento presentato al convegno International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 tenutosi a deu nel 2013 [10.1007/978-3-319-74183-3_1].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

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