License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.12.67
URN: urn:nbn:de:0030-drops-45080
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4508/
Go back to Dagstuhl Reports

de Lemos, Rogerio ; Garlan, David ; Ghezzi, Carlo ; Giese, Holger
Weitere Beteiligte (Hrsg. etc.): Rogerio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese

Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)

pdf-format:
dagrep_v003_i012_p067_s13511.pdf (0.8 MB)

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.

BibTeX - Entry

@Article{delemos_et_al:DR:2014:4508,
  author =	{Rogerio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese},
  title =	{{Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)}},
  pages =	{67--96},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{12},
  editor =	{Rogerio de Lemos and David Garlan and Carlo Ghezzi and Holger Giese},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4508},
  URN =		{urn:nbn:de:0030-drops-45080},
  doi =		{10.4230/DagRep.3.12.67},
  annote =	{Keywords: software engineering, self-adaptive systems, assurances, criteria, feedback loop, decentralization}
}

Keywords: software engineering, self-adaptive systems, assurances, criteria, feedback loop, decentralization
Collection: Dagstuhl Reports, Volume 3, Issue 12
Issue Date: 2014
Date of publication: 31.03.2014

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI