Using models at runtime to address assurance for self-adaptive systems

Betty H C Cheng, Kerstin I Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider, Frank Trollmann, Norha M. Villegas

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

77 Citations (Scopus)


A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gained through a variety of activities and processes performed at development time, such as design analysis and testing. In the presence of self-adaptation, however, some of the assurance tasks may need to be performed at runtime. This need calls for the development of techniques that enable continuous assurance throughout the software life cycle. Fundamental to the development of runtime assurance techniques is research into the use of models at runtime (M@RT). This chapter explores the state of the art for using M@RT to address the assurance of self-adaptive software systems. It defines what information can be captured by M@RT, specifically for the purpose of assurance, and puts this definition into the context of existing work. We then outline key research challenges for assurance at runtime and characterize assurance methods. The chapter concludes with an exploration of selected application areas where M@RT could provide significant benefits beyond existing assurance techniques for adaptive systems.
Original languageEnglish
Title of host publicationModels@run.time
Subtitle of host publicationFoundations, Applications, and Roadmaps
PublisherSpringer Verlag
Number of pages36
ISBN (Electronic)9783319089157
ISBN (Print)9783319089140
Publication statusPublished - 2014
EventDagstuhl Seminar 11481 on Models@run.time - , United Kingdom
Duration: 27 Nov 20112 Dec 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8378 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349


ConferenceDagstuhl Seminar 11481 on Models@run.time
Country/TerritoryUnited Kingdom


  • self-adaptive systems
  • models at runtime
  • verification and valdation
  • assurance


Dive into the research topics of 'Using models at runtime to address assurance for self-adaptive systems'. Together they form a unique fingerprint.

Cite this