Outcomes of the 2018 GI-Dagstuhl Seminar “Software Engineering for Intelligent and Autonomous Systems”

The GI-Dagstuhl Seminar on "Software Engineering for Intelligent and Autonomous Systems" (SEfIAS) was held in August 2018.

The report of the seminar edited by the seminar organizers Simos Gerasimou, Thomas Vogel, and Ada Diaconescu is available: Software Engineering for Intelligent and Autonomous Systems: Report from the GI Dagstuhl Seminar 18343.

Moreover, the seminar has produced so far the following scientific outcomes:

Software Engineering for Self-adaptive Systems: Research Challenges in the Provision of Assurances

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:

Continue reading "Software Engineering for Self-adaptive Systems: Research Challenges in the Provision of Assurances"

Report from the GI Dagstuhl Seminar 14433

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.

downloadDownload the Report

Report of the Dagstuhl Seminar 13511

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.

Link to the ReportLink to the Report