Living with Uncertainty in the Age of Runtime Models (bibtex)
by , , , , , ,
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.
Reference:
Living with Uncertainty in the Age of Runtime Models (Holger Giese, Nelly Bencomo, Liliana Pasquale, AndresJ. Ramirez, Paola Inverardi, Sebastian Wätzoldt, Siobhan Clarke), Chapter in Models@run.time (Nelly Bencomo, Robert France, Betty HC Cheng, Uwe Assmann, eds.), Springer International Publishing, volume 8378, 2014.
Bibtex Entry:
@InCollection{Giese:2014ca,
AUTHOR = {Giese, Holger and Bencomo, Nelly and Pasquale, Liliana and Ramirez, AndresJ. and Inverardi, Paola and Wätzoldt, Sebastian and Clarke, Siobhan},
TITLE = {{Living with Uncertainty in the Age of Runtime Models}},
YEAR = {2014},
BOOKTITLE = {Models@run.time},
VOLUME = {8378},
PAGES = {47-100},
EDITOR = {Bencomo, Nelly and France, Robert and Cheng, Betty HC and Assmann, Uwe},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer International Publishing},
URL = {http://dx.doi.org/10.1007/978-3-319-08915-7_3},
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\^{a}�� 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.},
ANNOTE = {LANGUAGE : English}
}
Powered by bibtexbrowser