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

ACM TAAS: Special Section on Best Papers from SEAMS 2012 has appeared

The January 2014 issue of the ACM Transactions on Autonomous and Adaptive Systems (TAAS) has just appeared and it features a special section on best papers from the 7th ACM/IEEE International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012).

This special section comprises an Introduction by the SEAMS 2012 chairs Luciano Baresi and Hausi Müller and the following two papers:


Relaunch of the “Software Engineering for Self-Adaptive Systems” site

The site "Software Engineering for Self-Adaptive Systems" has been relaunched. It provides information about the International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Dagstuhl Seminars on Software Engineering for Self-Adaptive Systems, exemplars and model problems for self-adaptive systems, and the SEAMS mailing list.