Abstract:Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms. However, the computational effort to obtain guarantees poses severe constraints when it comes to dynamic adaptation. In order to solve these limitations, in this paper, we propose a hybrid approach combining software engineering, control theory, and AI to design for software self-adaptation. Our solution proposes a hierarchical and dynamic system manager with performance tuning. Due to the gap between high-level requirements specification and the internal knob behavior of the managed system, a hierarchically composed components architecture seek the separation of concerns towards a dynamic solution. Therefore, a two-layered adaptive manager was designed to satisfy the software requirements with parameters optimization through regression analysis and evolutionary meta-heuristic. The optimization relies on the collection and processing of performance, effectiveness, and robustness metrics w.r.t control theoretical metrics at the offline and online stages. We evaluate our work with a prototype of the Body Sensor Network (BSN) in the healthcare domain, which is largely used as a demonstrator by the community. The BSN was implemented under the Robot Operating System (ROS) architecture, and concerns about the system dependability are taken as adaptation goals. Our results reinforce the necessity of performing well on such a safety-critical domain and contribute with substantial evidence on how hybrid approaches that combine control and AI-based techniques for engineering self-adaptive systems can provide effective adaptation.

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Automatically ‘verifying’ Discrete-Time Complex Systems Through Learning, Abstraction and Refinement

Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach

Formal Specification and Analysis of Autonomous Systems under Partial Compliance

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems

Self-Adapting Machine Learning-based Systems via a Probabilistic Model Checking Framework

Bayesian Learning for the Robust Verification of Autonomous Robots

Modular Control Architecture for Safe Marine Navigation: Reinforcement Learning and Predictive Safety Filters

Statistical Model Checking of Complex Robotic Systems

Functional Self-Awareness and Metacontrol for Underwater Robot Autonomy

Online Adaptation for Autonomous Unmanned Systems Driven by Requirements Satisfaction Model

Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis

Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive Systems

Testing adaptation policies for software components

Modeling and Simulated Control of an under Actuated Autonomous Underwater Vehicle

A MBSE Application to Controllers of Autonomous Underwater Vehicles Based on Model-Driven Architecture Concepts

Achieving Adaptation for Adaptive Systems Via Runtime Verification: A Model-Driven Approach

A Framework for Enhancing Performance and Handling Run-Time Uncertainty in Self-Adaptive Systems

A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems

Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis

Risk-Averse Planning and Plan Assessment for Marine Robots