Self-adaptive software systems adapt to changes in the environment, in the system itself, in their requirements, or in their business objectives. Typically, these systems attempt to maintain system goals at run time and often provide assurance that they will meet their goals under dynamic and uncertain circumstances. While significant research has focused on ways to engineer self-adaptive capabilities into both new and legacy software systems, less work has been conducted on how to assure that self-adaptation maintains system goals. For traditional, especially safety-critical software systems, assurance techniques decompose assurances into sub-goals and evidence that can be provided by parts of the system. Existing approaches also exist for composing assurances, in terms of composing multiple goals and composing assurances in systems of systems. While some of these techniques may be applied to self-adaptive systems, we argue that several significant challenges remain in applying them to self-adaptive systems in this chapter. We discuss how existing assurance techniques can be applied to composing and decomposing assurances for self-adaptive systems, highlight the challenges in applying them, summarize existing research to address some of these challenges, and identify gaps and opportunities to be addressed by future research.

Challenges in composing and decomposing assurances for self-adaptive systems / Schmerl, B.; Andersson, J.; Vogel, T.; Cohen, M. B.; Rubira, C. M. F.; Brun, Y.; Gorla, A.; Zambonelli, F.; Baresi, L.. - 9640:(2017), pp. 64-89. ((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_3].

Challenges in composing and decomposing assurances for self-adaptive systems

Zambonelli F.;
2017

Abstract

Self-adaptive software systems adapt to changes in the environment, in the system itself, in their requirements, or in their business objectives. Typically, these systems attempt to maintain system goals at run time and often provide assurance that they will meet their goals under dynamic and uncertain circumstances. While significant research has focused on ways to engineer self-adaptive capabilities into both new and legacy software systems, less work has been conducted on how to assure that self-adaptation maintains system goals. For traditional, especially safety-critical software systems, assurance techniques decompose assurances into sub-goals and evidence that can be provided by parts of the system. Existing approaches also exist for composing assurances, in terms of composing multiple goals and composing assurances in systems of systems. While some of these techniques may be applied to self-adaptive systems, we argue that several significant challenges remain in applying them to self-adaptive systems in this chapter. We discuss how existing assurance techniques can be applied to composing and decomposing assurances for self-adaptive systems, highlight the challenges in applying them, summarize existing research to address some of these challenges, and identify gaps and opportunities to be addressed by future research.
International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013
deu
2013
9640
64
89
Schmerl, B.; Andersson, J.; Vogel, T.; Cohen, M. B.; Rubira, C. M. F.; Brun, Y.; Gorla, A.; Zambonelli, F.; Baresi, L.
Challenges in composing and decomposing assurances for self-adaptive systems / Schmerl, B.; Andersson, J.; Vogel, T.; Cohen, M. B.; Rubira, C. M. F.; Brun, Y.; Gorla, A.; Zambonelli, F.; Baresi, L.. - 9640:(2017), pp. 64-89. ((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_3].
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/1222892
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? ND
social impact