Riadh Ben Halima

Design and timed verification of self-adaptive systems

2017

Self-adaptive systems are able to manage themselves autonomously. A common approach to engineer these systems is to use the MAPE control loop based on these four steps: Monitoring, Analysis, Planning, and Execution. Existing research pays …