Perpetual assurances for self-adaptive systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

View graph of relations Save citation


  • Danny Weyns
  • Nelly Bencomo
  • Radu Calinescu
  • Javier Camara
  • Carlo Ghezzi
  • Vincenzo Grassi
  • Lars Grunske
  • Paola Inverardi
  • Jean Marc Jezequel
  • Sam Malek
  • Raffaela Mirandola
  • Marco Mori
  • Giordano Tamburrelli

Research units


Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation.

Request a copy

Request a copy


Publication date18 Jan 2018
Publication titleSoftware Engineering for Self-Adaptive Systems III. Assurances - International Seminar, Revised Selected and Invited Papers
Number of pages33
Volume9640 LNCS
ISBN (Print)9783319741826
Original languageEnglish
EventInternational Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013 - Dagstuhl Castle, Germany

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9640 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceInternational Seminar on Software Engineering for Self-Adaptive Systems: Assurances, 2013
CityDagstuhl Castle


Employable Graduates; Exploitable Research

Copy the text from this field...