Open AccessSelf-Adaptive Systems Planning with Model Checking using MAPE-K
Author(s) -
Aristóteles Esteves Marçal da Silva,
Adnei Melges de Andrade,
Sônia Gumes Andrade
Publication year - 2020
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5753/wtf.2020.12488
Subject(s) - adaptation (eye) , computer science , architecture , model checking , adaptive system , distributed computing , artificial intelligence , theoretical computer science , art , physics , optics , visual arts
This paper presents a model checking-based approach to support the autonomous planning of adaptation actions in Self-Adaptive Systems, designed in consonance with the MAPE-K reference architecture. We evaluated our approach with a case-study aiming at verifying self-healing and self-organizing properties in a distributed and decentralized traffic monitoring system. Results show that our approach is able to generate adaptation plans satisfying the goals for all expected scenarios in such a case-study, providing a flexible formal framework where adaptation strategies and goals can be inserted/removed.