Living with uncertainty in the age of runtime models

Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhán Clarke

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

Abstract

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.

Original languageEnglish
Title of host publicationModels@run.time
Subtitle of host publicationfoundations, applications, and roadmaps
EditorsNelly Bencomo, Robert France, Betty H.C. Cheng, Uwe Aßmann
Place of PublicationCham (CH)
PublisherSpringer
Pages47-100
Number of pages54
ISBN (Electronic)978-3-319-08915-7
ISBN (Print)978-3-319-08914-0
DOIs
Publication statusPublished - 31 Dec 2014
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
PublisherSpringer
Volume8378
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceDagstuhl Seminar 11481 on Models@run.time
CountryGermany
CityWadern
Period27/11/112/12/11

Fingerprint

Uncertainty
Model
Software System
Terminology
Ambiguous
Knowledge Base
Lifetime
Robot
Robots
Model-based
Requirements
Context

Cite this

Giese, H., Bencomo, N., Pasquale, L., Ramirez, A. J., Inverardi, P., Wätzoldt, S., & Clarke, S. (2014). Living with uncertainty in the age of runtime models. In N. Bencomo, R. France, B. H. C. Cheng, & U. Aßmann (Eds.), Models@run.time: foundations, applications, and roadmaps (pp. 47-100). (Lecture Notes in computer science; Vol. 8378). Cham (CH): Springer. https://doi.org/10.1007/978-3-319-08915-7_3
Giese, Holger ; Bencomo, Nelly ; Pasquale, Liliana ; Ramirez, Andres J. ; Inverardi, Paola ; Wätzoldt, Sebastian ; Clarke, Siobhán. / Living with uncertainty in the age of runtime models. Models@run.time: foundations, applications, and roadmaps. editor / Nelly Bencomo ; Robert France ; Betty H.C. Cheng ; Uwe Aßmann. Cham (CH) : Springer, 2014. pp. 47-100 (Lecture Notes in computer science).
@inproceedings{9e2159f8a5894b80978786b101d6cf5e,
title = "Living with uncertainty in the age of runtime models",
abstract = "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.",
author = "Holger Giese and Nelly Bencomo and Liliana Pasquale and Ramirez, {Andres J.} and Paola Inverardi and Sebastian W{\"a}tzoldt and Siobh{\'a}n Clarke",
year = "2014",
month = "12",
day = "31",
doi = "10.1007/978-3-319-08915-7_3",
language = "English",
isbn = "978-3-319-08914-0",
series = "Lecture Notes in computer science",
publisher = "Springer",
pages = "47--100",
editor = "Nelly Bencomo and Robert France and Cheng, {Betty H.C.} and Uwe A{\ss}mann",
booktitle = "Models@run.time",
address = "Germany",

}

Giese, H, Bencomo, N, Pasquale, L, Ramirez, AJ, Inverardi, P, Wätzoldt, S & Clarke, S 2014, Living with uncertainty in the age of runtime models. in N Bencomo, R France, BHC Cheng & U Aßmann (eds), Models@run.time: foundations, applications, and roadmaps. Lecture Notes in computer science, vol. 8378, Springer, Cham (CH), pp. 47-100, Dagstuhl Seminar 11481 on Models@run.time, Wadern, Germany, 27/11/11. https://doi.org/10.1007/978-3-319-08915-7_3

Living with uncertainty in the age of runtime models. / Giese, Holger; Bencomo, Nelly; Pasquale, Liliana; Ramirez, Andres J.; Inverardi, Paola; Wätzoldt, Sebastian; Clarke, Siobhán.

Models@run.time: foundations, applications, and roadmaps. ed. / Nelly Bencomo; Robert France; Betty H.C. Cheng; Uwe Aßmann. Cham (CH) : Springer, 2014. p. 47-100 (Lecture Notes in computer science; Vol. 8378).

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

TY - GEN

T1 - Living with uncertainty in the age of runtime models

AU - Giese, Holger

AU - Bencomo, Nelly

AU - Pasquale, Liliana

AU - Ramirez, Andres J.

AU - Inverardi, Paola

AU - Wätzoldt, Sebastian

AU - Clarke, Siobhán

PY - 2014/12/31

Y1 - 2014/12/31

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84904821198&partnerID=8YFLogxK

UR - http://link.springer.com/chapter/10.1007%2F978-3-319-08915-7_3

U2 - 10.1007/978-3-319-08915-7_3

DO - 10.1007/978-3-319-08915-7_3

M3 - Conference contribution

AN - SCOPUS:84904821198

SN - 978-3-319-08914-0

T3 - Lecture Notes in computer science

SP - 47

EP - 100

BT - Models@run.time

A2 - Bencomo, Nelly

A2 - France, Robert

A2 - Cheng, Betty H.C.

A2 - Aßmann, Uwe

PB - Springer

CY - Cham (CH)

ER -

Giese H, Bencomo N, Pasquale L, Ramirez AJ, Inverardi P, Wätzoldt S et al. Living with uncertainty in the age of runtime models. In Bencomo N, France R, Cheng BHC, Aßmann U, editors, Models@run.time: foundations, applications, and roadmaps. Cham (CH): Springer. 2014. p. 47-100. (Lecture Notes in computer science). https://doi.org/10.1007/978-3-319-08915-7_3