TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 10431

Software Engineering for Self-Adaptive Systems

( Oct 24 – Oct 29, 2010 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/10431

Organizers

Contact




Press Room

Press Reviews


Summary

Softwares ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the complexity of todays software- intensive systems. Such self-adaptive systems can configure and reconfigure themselves, augment their functionality, continually optimise themselves, protect themselves, and re- cover themselves, while keeping most of their complexity hidden from the user and administrator. In this paper, we present research road map for software engineering of self- adaptive systems focusing on four views, which we identify as essential: design spaces, verification and validation, processes, and decentralisation.

The simultaneous explosion of information and integration of technology together with the continuous evolution from software intensive systems to systems of systems to ultra-large-scale (ULS) systems requires new and innovative approaches for building, running and managing software systems. A consequence of this continuous evolution is that software systems are expected to become more versatile, flexible, resilient, dependable, robust, continuously available, energy-efficient, recoverable, customisable, self-healing, configurable, or self-optimising by adapting to changing requirements and contexts/environments . One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms.

Research on the theory and practice of self-adaptation is highly interdisciplinary, and it draws ideas and solutions from many diverse fields, such as control engineering and dynamical systems, automation and instrumentation, machine learning and planning, fault-tolerance and reactive systems, and many others. The applications of self-adaptation also span a wide range: autonomic computing , dependable computing, autonomic communications and networks, mobile ad hoc networks, sensor networks, ubiquitous computing, computing systems management , biologically-inspired computing, user-interface customisation, embedded computing, service-oriented architectures, web-service composition, embedded systems, mechatronics, mobile and autonomous robots, multi-agent systems, to financial systems.

The seminar focused on software engineering aspects of building self-adaptive and self-managing systems. The topic of self-adaptive systems has been studied independently within the different research areas of software engineering, including requirements engineering, modelling, architecture and middleware, event-based, component-based and knowledge-based systems, testing, verification and validation, as well as software maintenance and evolution. Recently several workshops have emerged to bring these independent efforts together by concentrating on the software engineering aspects of self-adaptive systems: WOSS (Workshop on Self-Healing Systems), WADS (Workshop on Architecting Dependable Systems), DEAS (Design and Evolution of Autonomic Application Software), SEAMS (Software Engineering for Self-Adaptive and Self-Managing Systems), and Dagstuhl Seminar 08031 on Software Engineering for Self-Adaptive Systems.

The flexible nature of software provides an ideal platform for self-adaptation. However, the proper realisation of the self-adaptation functionality remains a formidable intellectual challenge. In the long run, we need to establish the foundations that enable the systematic development of future generations of self-adaptive systems. Therefore the current achievements have to be integrated into a more comprehensive overall research effort from which generic approaches should be devised. Building self-adaptive software systems cost-effectively and in a systematic and predictable manner is also a major engineering challenge.

The goal of this seminar was to bring together the leading software engineering experts and other distinguished experts from related fields on self-adaptive systems to discuss the fundamental principles, models, methods, techniques, mechanisms, state-of-the-art, and challenges for engineering self-adaptive software systems.

The two concrete outcomes from this Seminar will be a new roadmap paper and a new book. The roadmap paper, which will follow the same format of the previous paper will be structured according to the new topics to be identified during the seminar, namely: design spaces, processes, verification and validation, and decentralisation. For each topic, the objective is to summarise the current state-of-the-art, discuss its limitations, and identify future challenges for the field. The book will contain state-of-the-art contributions from participants of the seminar and some invited contributions. In addition to these contributions, the roadmap paper will be the introductory chapter of the book, which should be followed by four chapters containing extended versions of the topics discussed in the roadmap paper. The book will be published by Springer as Lecture Notes in Computer Science volume on their State-of-the-Art series.


Participants
  • Jesper Andersson (Linnaeus University - Växjö, SE) [dblp]
  • Luciano Baresi (Polytechnic University of Milan, IT) [dblp]
  • Basil Becker (Hasso-Plattner-Institut - Potsdam, DE)
  • Nelly Bencomo (Lancaster University, GB) [dblp]
  • Yuriy Brun (University of Washington - Seattle, US) [dblp]
  • Bojan Cukic (West Virginia University - Morgantown, US) [dblp]
  • Rogerio de Lemos (University of Kent, GB) [dblp]
  • Ron Desmarais (University of Victoria, CA)
  • Schahram Dustdar (TU Wien, AT) [dblp]
  • Gregor Engels (Universität Paderborn, DE) [dblp]
  • Kurt Geihs (Universität Kassel, DE) [dblp]
  • Holger Giese (Hasso-Plattner-Institut - Potsdam, DE) [dblp]
  • Alessandra Gorla (University of Lugano, CH) [dblp]
  • Karl M. Göschka (TU Wien, AT)
  • Vincenzo Grassi (University of Rome "Tor Vergata", IT) [dblp]
  • Paola Inverardi (University of L'Aquila, IT) [dblp]
  • Gabor Karsai (Vanderbilt University, US) [dblp]
  • Jeff Kramer (Imperial College London, GB) [dblp]
  • Marin Litoiu (York University - Toronto, CA) [dblp]
  • Antonia Lopes (University of Lisboa, PT) [dblp]
  • Jeff Magee (Imperial College London, GB) [dblp]
  • Sam Malek (George Mason University - Fairfax, US) [dblp]
  • Serge Mankovskii (CA Inc. - Thornhill, CA) [dblp]
  • Raffaela Mirandola (Polytechnic University of Milan, IT) [dblp]
  • Hausi A. Müller (University of Victoria, CA) [dblp]
  • John Mylopoulos (University of Toronto, CA) [dblp]
  • Oscar M. Nierstrasz (Universität Bern, CH) [dblp]
  • Sooyong Park (Sogang University - Seoul, KR) [dblp]
  • Mauro Pezzè (University of Lugano, CH) [dblp]
  • Christian Prehofer (LMU München, DE) [dblp]
  • Wilhelm Schäfer (Universität Paderborn, DE) [dblp]
  • Richard D. Schlichting (AT&T Labs Research - Florham Park, US)
  • Bradley Schmerl (Carnegie Mellon University, US) [dblp]
  • Mary Shaw (Carnegie Mellon University - Pittsburgh, US) [dblp]
  • Dennis B. Smith (Carnegie Mellon University - Pittsburgh, US)
  • João Pedro Sousa (George Mason University - Fairfax, US)
  • Ladan Tahvildari (University of Waterloo, CA)
  • Gabriel Tamura (INRIA - University of Lille 1, FR) [dblp]
  • Norha Milena Villegas Machado (University of Victoria, CA) [dblp]
  • Thomas Vogel (Hasso-Plattner-Institut - Potsdam, DE) [dblp]
  • Danny Weyns (KU Leuven, BE) [dblp]
  • Ken Wong (University of Alberta - Edmonton, CA)
  • Jochen Wuttke (University of Lugano, CH)

Related Seminars
  • Dagstuhl Seminar 08031: Software Engineering for Self-Adaptive Systems (2008-01-13 - 2008-01-18) (Details)
  • Dagstuhl Seminar 13511: Software Engineering for Self-Adaptive Systems: Assurances (2013-12-15 - 2013-12-19) (Details)

Classification
  • software engineering
  • modelling / simulation
  • semantics / formal methods
  • self-adaptive and self-managing software systems

Keywords
  • Software engineering
  • self-adaptive systems
  • self-organizing systems
  • self-managing systems
  • autonomic systems
  • software ecosystems
  • requirements engineering
  • software architecture
  • validation and verification
  • software deployment
  • goal management
  • diagnosis
  • trade-off analysis
  • feedback
  • control loops
  • reflection
  • self-adaptive mechanisms
  • monitoring
  • software components
  • continuous evolution