Rogério de Lemos
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances
Lemos, Rogério de; Garlan, David; Ghezzi, Carlo; Giese, Holger; Andersson, Jesper; Litoiu, Marin; Schmerl, Bradley R.; Weyns, Danny; Baresi, Luciano; Bencomo, Nelly; Brun, Yuriy; Cámara, Javier; Calinescu, Radu; Cohen, Myra B.; Gorla, Alessandra; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jézéquel, Jean-Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco; Müller, Hausi A.; Rouvoy, Romain; Rubira, Cecília M.F.; Rutten, Éric; Shaw, Mary; Tamburrelli, Giordano; Tamura, Gabriel; Villegas, Norha M.; Vogel, Thomas; Zambonelli, Franco
Authors
David Garlan
Carlo Ghezzi
Holger Giese
Jesper Andersson
Marin Litoiu
Bradley R. Schmerl
Danny Weyns
Luciano Baresi
Dr Nelly Bencomo nelly.bencomo@durham.ac.uk
Associate Professor
Yuriy Brun
Javier Cámara
Radu Calinescu
Myra B. Cohen
Alessandra Gorla
Vincenzo Grassi
Lars Grunske
Paola Inverardi
Jean-Marc Jézéquel
Sam Malek
Raffaela Mirandola
Marco Mori
Hausi A. Müller
Romain Rouvoy
Cecília M.F. Rubira
Éric Rutten
Mary Shaw
Giordano Tamburrelli
Gabriel Tamura
Norha M. Villegas
Thomas Vogel
Franco Zambonelli
Contributors
Rogério de Lemos
Editor
David Garlan
Editor
Carlo Ghezzi
Editor
Holger Giese
Editor
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.
Citation
Lemos, R. D., Garlan, D., Ghezzi, C., Giese, H., Andersson, J., Litoiu, M., Schmerl, B. R., Weyns, D., Baresi, L., Bencomo, N., Brun, Y., Cámara, J., Calinescu, R., Cohen, M. B., Gorla, A., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J.-M., Malek, S., …Zambonelli, F. (2013, December). Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Presented at Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Presentation Conference Type | Conference Paper (Published) |
---|---|
Conference Name | Software Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers |
Publication Date | 2013 |
Deposit Date | Sep 29, 2022 |
Print ISSN | 0302-9743 |
Publisher | Springer Verlag |
Volume | 9640 |
Pages | 3-30 |
Series Title | Lecture Notes in Computer Science |
DOI | https://doi.org/10.1007/978-3-319-74183-3_1 |
Public URL | https://durham-repository.worktribe.com/output/1135050 |
You might also like
Towards History-Aware Self-Adaptation with Explanation Capabilities
(2019)
Presentation / Conference Contribution
RaM: Causally-Connected and Requirements-Aware Runtime Models using Bayesian Learning
(2019)
Presentation / Conference Contribution
Temporal Models for History-Aware Explainability
(2020)
Presentation / Conference Contribution
RDMSim: An Exemplar for Evaluation and Comparison of Decision-Making Techniques for Self-Adaptation
(2021)
Presentation / Conference Contribution
Pri-AwaRE: Tool Support for priority-aware decision-making under uncertainty
(2021)
Presentation / Conference Contribution
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search