Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

Amel Bennaceur (1) , Robert France (2) , Giordano Tamburrelli (3) , Thomas Vogel (4) , Pieter J. Mosterman (5) , Walter Cazzola (6) , Fábio M. Costa (7) , Alfonso Pierantonio (8) , Matthias Tichy (9) , Mehmet Akşit (10) , Pär Emmanuelson (11) , Huang Gang (12) , Nikolaos Georgantas (13) , David Redlich (14)

1 OU - The Open University [Milton Keynes]
2 CS-DEPARTMENT - Computer Science Department [Colorado]
3 Faculty of Informatics [Lugano]
4 HPI - Hasso Plattner Institute for Software Systems Engineering
5 MathWorks
6 ISLab - Dipartimento di Informatica
7 UFG - Universidade Federal de Goiás [Goiânia]
8 DI - Dipartimento di Informatica [Italy]
9 Chalmers University of Technology [Göteborg]
10 EEMCS - Faculty of Electrical Engineering, Mathematics and Computer Science [Twente]
11 Ericsson Software Research
12 Center for Bioinformatics [Peking]
13 MIMOVE - Middleware on the Move
14 Computing Department [Lancaster]

Modern software systems are often required to adapt their behavior at runtime in order to maintain or enhance their utility in dynamic environments. Models at runtime research aims to provide suitable abstractions, techniques, and tools to manage the complexity of adapting software systems at runtime. In this chapter, we discuss challenges associated with developing mechanisms that leverage models at runtime to support runtime software adaptation. Specifically, we discuss challenges associated with developing effective mechanisms for supervising running systems, reasoning about and planning adaptations, maintaining consistency among multiple runtime models, and maintaining fidelity of runtime models with respect to the running system and its environment. We discuss related problems and state-of-the-art mechanisms, and identify open research challenges.

Domaines: Informatique ubiquitaire; Algorithme et structure de données [cs.DS]

Amel Bennaceur, Robert France, Giordano Tamburrelli, Thomas Vogel, Pieter J. Mosterman, et al.. Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. Nelly Bencomo; Robert France; Betty H. Cheng; Uwe Assmann. [e-mail], 8378, Springer, pp.19-46, 2014, Lecture Notes in Computer Science, 978-3-319-08914-0. ⟨10.1007/978-3-319-08915-7_2⟩. ⟨hal-01018734⟩