Living with uncertainty in the age of runtime models

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

View graph of relations Save citation


Research units


Uncertainty can be defined as the difference between information that is represented in an executing system and the information that is both measurable and available about the system at a certain point in its life-time. A software system can be exposed to multiple sources of uncertainty produced by, for example, ambiguous requirements and unpredictable execution environments. A runtime model is a dynamic knowledge base that abstracts useful information about the system, its operational context and the extent to which the system meets its stakeholders' needs. A software system can successfully operate in multiple dynamic contexts by using runtime models that augment information available at design-time with information monitored at runtime. This chapter explores the role of runtime models as a means to cope with uncertainty. To this end, we introduce a well-suited terminology about models, runtime models and uncertainty and present a state-of-the-art summary on model-based techniques for addressing uncertainty both at development- and runtime. Using a case study about robot systems we discuss how current techniques and the MAPE-K loop can be used together to tackle uncertainty. Furthermore, we propose possible extensions of the MAPE-K loop architecture with runtime models to further handle uncertainty at runtime. The chapter concludes by identifying key challenges, and enabling technologies for using runtime models to address uncertainty, and also identifies closely related research communities that can foster ideas for resolving the challenges raised.

Request a copy

Request a copy


Publication date31 Dec 2014
Publication titleModels@run.time : foundations, applications, and roadmaps
EditorsNelly Bencomo, Robert France, Betty H.C. Cheng, Uwe Aßmann
Place of PublicationCham (CH)
Number of pages54
ISBN (Electronic)978-3-319-08915-7
ISBN (Print)978-3-319-08914-0
Original languageEnglish
EventDagstuhl Seminar 11481 on Models@run.time - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Wadern, Germany
Duration: 27 Nov 20112 Dec 2011

Publication series

NameLecture Notes in computer science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceDagstuhl Seminar 11481 on Models@run.time

Employable Graduates; Exploitable Research

Copy the text from this field...