scholarly journals Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study

2016 ◽  
Author(s):  
Neeraj Kumar Singh ◽  
Yamine Ait-Ameur ◽  
Marc Pantel ◽  
Arnaud Dieumegard ◽  
Eric Jenn
Keyword(s):  
Adaptive Systems ◽  
Formal Modeling ◽  
Self Adaptive

scholarly journals Self-Adaptive Systems Planning with Model Checking using MAPE-K

2020 ◽  
Author(s):  
Aristóteles Esteves Marçal Da Silva ◽  
Aline Maria Santos Andrade ◽  
Sandro Santos Andrade
Keyword(s):  
Model Checking ◽  
Adaptive Systems ◽  
Traffic Monitoring ◽  
Self Healing ◽  
Reference Architecture ◽  
Systems Planning ◽  
Autonomous Planning ◽  
Formal Framework ◽  
Self Adaptive

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.

Reliable Composition of MAPE-K Loops in Self-Adaptive Software Systems

2020 ◽  
Vol 10 (3) ◽  
pp. 38-54
Author(s):  
Selma Ouareth ◽  
Soufiane Boulehouache ◽  
Mazouzi Smaine
Keyword(s):  
Complex Systems ◽  
Knowledge Base ◽  
Electric Vehicle ◽  
Adaptive Systems ◽  
Design Approach ◽  
Software Systems ◽  
Adaptive Software ◽  
Control Loops ◽  
Self Adaptive

Self-adaptive systems (SASs) are controlled by autonomic manager (AM). This ensures the QoS of such complex systems within highly dynamic and unpredictable contexts. However, the massive integration of the adaptation abilities increased drastically the complexity of the AMs. To decrease the complexity and ensure correctness adaptation, scholars propose a subdivision into multi-autonomic entities (AEs) as a design approach. In such a design approach, SASs are controlled through multiple interacting AMs implementing each the well-known MAPE-K Loop. In this article, the writers propose a refinement pattern of interacting multiple MAPE-K Loops to achieve global adaptation without conflict. The authors contribute with a notation to describe the interaction of multiple MAPE-K Control Loops. To ensure the coordinated multi-attributes control, the interaction of the AEs is achieved through the knowledge base of the MAPE-K Loops. To validate the proposed pattern, a case study in the field of Electric Vehicle is presented.

scholarly journals Formal modeling of evolving self-adaptive systems

2012 ◽  
Vol 78 (1) ◽  
pp. 3-26 ◽  
Author(s):  
Narges Khakpour ◽  
Saeed Jalili ◽  
Carolyn Talcott ◽  
Marjan Sirjani ◽  
MohammadReza Mousavi
Keyword(s):  
Adaptive Systems ◽  
Formal Modeling ◽  
Self Adaptive

scholarly journals Temporal Pattern Specifications for Self-Adaptive Requirements

2019 ◽  
Vol 12 (1) ◽  
pp. 58-68
Author(s):  
Ayoub Yahiaoui ◽  
Hakim Bendjenna ◽  
Philippe Roose ◽  
Lawrence Chung ◽  
Mohamed Amroune
Keyword(s):  
Assisted Living ◽  
Adaptive Systems ◽  
Smart Home ◽  
Ad Hoc ◽  
Ambient Assisted Living ◽  
Support Tool ◽  
Requirements Change ◽  
Self Adaptation ◽  
Self Adaptive

Background: Systems whose requirements change at a rate that necessitates adaptation without human intervention are called self-adaptive systems, and they have the ability to adjust their behavior autonomously at run-time in response to their environment’s evolution. Samples of applications that require self-adaptation include Smart home systems and environmental monitoring. However, self-adaptivity is often constructed in an ad-hoc manner. Methods: In this paper, the authors present a pattern-based specification language for self-adaptive systems. Its semantics are presented in terms of fuzzy logic. Thus, enabling a meticulous processing of requirements, in order to permit the formulation of self-adaptive requirements accurately, thereby facilitates the design of systems that are flexible and responsive to adaptation in a systematic manner. Results: To show the applicability and effectiveness of our language, the authors apply it to two case studies. One case study reviews the Smart fridge in ambient assisted living and the second case study is focused on an ambulance dispatching system using a developed support tool.

Sign in / Sign up

Export Citation Format

Share Document