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

Game: self-adaptation applied to authorisation infrastructures

Chris Bailey and Rogério de Lemos from the University of Kent (UK) would be very grateful if you could get involved with the following game either by playing it, or disseminating it:

https://saaf-resource.kent.ac.uk/game/index.php

Basically, they need data, and the more data they get the better.

This is an academic project in which they are studying the effectiveness of self-adaptation in authorisation systems, more precisely, they are looking into insider threats. This game has been deployed for a while, and they see this game as a way of emulating insider threats. It has gone through several pilot studies, and now they feel it is time to release it to a wider audience.

The goal is to collect data related to how attacks are perpetrated, how these can be detected, and how the controller reacts to the perceived attacks.

Please, try to beat the computer, and be the top player - Chris and Rogério truly appreciate your “dishonesty”.

Good luck!

ps. If you have any questions, suggestions, or complaints, please contact Chris and  Rogério at: saaf (dot) experiment (at) gmail (dot) com

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: