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

by   Danny Weyns, et al.

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 loop to the system that monitors the system and adapts it to realize a set of adaptation goals. ActivFORMS (Active FORmal Models for Self-adaptation) provides an end-to-end approach for engineering self-adaptive systems. ActivFORMS relies on feedback loops that consists of formally verified models that are directly deployed and executed at runtime to realize self-adaptation. At runtime, the approach relies on statistical verification techniques that allow efficient analysis of the possible options for adaptation. Further, ActivFORMS supports on-the-fly changes of adaptation goals and updates of the verified models to to meet the new goals. ActivFORMSi provides a tool-supported instance of ActivFORMS. The approach has been validates using an IoT application for building security monitoring. This report provides complementary material to the paper “ActivFORMS: A Formally-Founded Model-Based Approach to Engineer Self-Adaptive Systems” [Weyns and Iftikhar 2019].


page 10

page 13


ActivFORMS: A Model-Based Approach to Engineer Self-Adaptive Systems

Handling change is an increasingly important challenge for software engi...

Reducing Large Adaptation Spaces in Self-Adaptive Systems Using Machine Learning

Modern software systems often have to cope with uncertain operation cond...

BASBA: a framework for Building Adaptable Service-Based Applications

Due to the continuously changing environment of service-based applicatio...

Deep Learning for Effective and Efficient Reduction of Large Adaptation Spaces in Self-Adaptive Systems

Many software systems today face uncertain operating conditions, such as...

Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach

Goals are first-class entities in a self-adaptive system (SAS) as they g...

From Self-Adaptation to Self-Evolution Leveraging the Operational Design Domain

Engineering long-running computing systems that achieve their goals unde...

Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems

Over the past two decades, researchers and engineers have extensively st...

Please sign up or login with your details

Forgot password? Click here to reset