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

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 MalekRaffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M.F. Rubira, Eric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationSoftware Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers
EditorsCarlo Ghezzi, David Garlan, Holger Giese, Rogerio de Lemos
PublisherSpringer
Pages3-30
Number of pages28
ISBN (Electronic)978-3-319-74183-3
ISBN (Print)9783319741826
DOIs
Publication statusPublished - 18 Jan 2018
EventInternational Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 - Dagstuhl Castle, Germany
Duration: 15 Dec 201319 Dec 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9640 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013
CountryGermany
CityDagstuhl Castle
Period15/12/1319/12/13

Bibliographical note

© Springer International Publishing AG 2017

Fingerprint Dive into the research topics of 'Software engineering for self-adaptive systems: research challenges in the provision of assurances'. Together they form a unique fingerprint.

  • Cite this

    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., ... Zambonelli, F. (2018). Software engineering for self-adaptive systems: research challenges in the provision of assurances. In C. Ghezzi, D. Garlan, H. Giese, & R. de Lemos (Eds.), Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers (pp. 3-30). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9640 LNCS). Springer. https://doi.org/10.1007/978-3-319-74183-3_1