"Engineering Self-Adaptive Systems with Guarantees using ActivFORMS"
Prof. Danny Weyns, Katholieke Universiteit Leuven, Belgium, Linnaeus University, Sweden.
Apr 12, 2022 01:15 PM Berlin, Zoom Meeting
Danny Weyns is a professor at the Katholieke Universiteit Leuven, Belgium; he is also affiliated with Linnaeus University in Sweden. The research of Danny’ team is centred on the engineering of self-adaptive systems. His particular focus is on achieving trustworthiness of self-adaptive systems that operate under uncertainty. To that end, he combines runtime models that represent uncertainty as first-class citizen with verification techniques at runtime in order to provide assurances for the required adaptation goals. Validation domains include service based systems, cyber-physical systems, and the Internet of Things.
Abstract :
Self-adaptation equips a computing system with a feedback loop that enables it dealing with uncertainties during operation, such as sudden changes in the availability of resources or fluctuating workloads. One of the key challenges of engineering self-adaptive systems is ensuring that the system complies with the adaptation goals. To that end, we defined ActivFORMS (Active FORmal Models for Self-adaptation). ActivFORMS spans four main stages of the life cycle of a feedback loop: design, deployment, runtime adaptation, and evolution. In this talk we give an overview of ActivFORMS and zoom in on one of its distinct features: the use of statistical model checking at runtime to select adaptation options that realise the adaptation goals with a required level of accuracy and confidence. We use an IoT application for building security monitoring that is deployed in Leuven as illustrative case.