An outcome of the Dagstuhl seminar on Software Engineering for Self-Adaptive Systems: Assurances is the LNCS book entitled "Software Engineering for Self-Adaptive Systems III" (to appear) that contains results from discussions at the seminar, in particularly a paper summarizing research challenges in the provision of assurances. A preprint of the challenges paper can be found here:
Two GI-Dagstuhl seminars related to software engineering for self-adaptive systems took place last fall, each of them having an impact on SEAMS 2015, the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.
The report from the GI Dagstuhl Seminar 14433 has been published and it is available online:
Report from the GI Dagstuhl Seminar 14433: Software Engineering for Self-Adaptive Systems edited by Thomas Vogel, Matthias Tichy, and Alessandra Gorla.
Abstract: Nowadays, software has become a key feature and driver for innovation of a wide range of products and services such as business applications, vehicles, or devices in various domains such as transportation, communication, energy, production, or health. Consequently, our daily lives highly depend on such software-intensive systems. This results in complex systems, which is even more stressed by integrating them to systems-of-systems or cyber-physical systems such as smart cities. Therefore, innovative ways of developing, deploying, maintaining, and evolving such software-intensive systems are required. In this direction, one promising stream of software engineering research is self-adaptation. Engineering self-adaptive systems is an open research challenge, particularly, for software engineering since it is usually software that controls the self-adaptation. This GI-Dagstuhl seminar focused on software engineering aspects of building self-adaptive systems cost-effectively and in a systematic and predictable manner. This includes typical software engineering disciplines such as requirements engineering, modeling, architecture, middleware, design, analysis, testing, validation, and verification as well as software evolution.
The GI Dagstuhl Seminar on "Software Engineering for Self-Adaptive Systems" (Seminar 14433) took place at Schloss Dagstuhl from October 19 - 24, 2014. It was organized by Alessandra Gorla, Matthias Tichy, and Thomas Vogel.
The report of the Dagstuhl Seminar 13511 "Software Engineering for Self-Adaptive Systems: Assurances" has been published and it is available online:
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)
by Rogerio de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese
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 assurances, i.e., the provision 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 during their operation. In this seminar, we discussed the problem of assurances for self-adaptive systems from four different views: criteria for assurances, composition and decomposition of assurances, feedback loop and assurances, and perpetual provisioning of assurances.