Report on A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems

Danny Weyns, Usman Iftikhar

Self-adaptive systems manage themselves to deal with uncertainties that can only be resolved during operation. A common approach to realize self-adaptation is by adding a feedback…