Raffaela Mirandola

TL;DR: The goal of this roadmap paper is to summarize the state-of-the-art and to identify critical challenges for the systematic software engineering of self-adaptive systems.

TL;DR: In this paper, the authors present the state-of-the-art and identify research challenges when developing, deploying and managing self-adaptive software systems, focusing on four essential topics of selfadaptation: design space for selfadaptive solutions, software engineering processes, from centralized to decentralized control, and practical run-time verification & validation.

TL;DR: This work introduces a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimization of Service- based systems), which translates high-level QoS requirements specified by their administrators into probabilistic temporal logic formulae, which are then formally and automatically analyzed to identify and enforce optimal system configurations.

TL;DR: A simple notation for describing interacting MAPE loops is contributed, which is used to describe a number of existing patterns of interacting MAPe loops, to begin to fulfill (a) and (b), and numerous remaining research challenges in this area are outlined.

TL;DR: An approach is discussed that addresses models that deal with non-functional properties, such as reliability and performance by keeping models alive at run time and feeding a Bayesian estimator with data collected from the running system, which produces updated parameters.