de Lemos, Rogério, Garlan, David, Ghezzi, Carlo, Giese, Holger, Andersson, Jesper, Litoiu, Marin, Schmerl, Bradley, Weyns, Danny, Baresi, Luciano, Bencomo, Nelly, Brun, Yuriy, Camara, Javier, Calinescu, Radu, Cohen, Myra B., Gorla, Alessandra, Grassi, Vincenzo, Grunske, Lars, Inverardi, Paola, Jezequel, Jean Marc, Malek, Sam, Mirandola, Raffaela, Mori, Marco, Müller, Hausi A., Rouvoy, Romain, Rubira, Cecília M.F., Rutten, Eric, Shaw, Mary, Tamburrelli, Giordano, Tamura, Gabriel, Villegas, Norha M., Vogel, Thomas and Zambonelli, Franco (2018). Software engineering for self-adaptive systems:research challenges in the provision of assurances. IN: Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers. Ghezzi, Carlo; Garlan, David; Giese, Holger and de Lemos, Rogerio (eds) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . DEU: Springer.
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.
Publication DOI: | https://doi.org/10.1007/978-3-319-74183-3_1 |
---|---|
Additional Information: | © Springer International Publishing AG 2017 |
Event Title: | International Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 |
Event Type: | Other |
Event Dates: | 2013-12-15 - 2013-12-19 |
Uncontrolled Keywords: | Theoretical Computer Science,General Computer Science |
ISBN: | 9783319741826, 978-3-319-74183-3 |
Last Modified: | 06 Dec 2024 08:35 |
Date Deposited: | 19 May 2020 07:37 |
Full Text Link: | |
Related URLs: |
http://www.scop ... tnerID=8YFLogxK
(Scopus URL) https://link.sp ... 3-319-74183-3_1 (Publisher URL) |
PURE Output Type: | Conference contribution |
Published Date: | 2018-01-18 |
Accepted Date: | 2013-01-01 |
Authors: |
de Lemos, Rogério
Garlan, David Ghezzi, Carlo Giese, Holger Andersson, Jesper Litoiu, Marin Schmerl, Bradley Weyns, Danny Baresi, Luciano Bencomo, Nelly ( 0000-0001-6895-1636) Brun, Yuriy Camara, Javier Calinescu, Radu Cohen, Myra B. Gorla, Alessandra Grassi, Vincenzo Grunske, Lars Inverardi, Paola Jezequel, Jean Marc Malek, Sam Mirandola, Raffaela Mori, Marco Müller, Hausi A. Rouvoy, Romain Rubira, Cecília M.F. Rutten, Eric Shaw, Mary Tamburrelli, Giordano Tamura, Gabriel Villegas, Norha M. Vogel, Thomas Zambonelli, Franco |