RA2DL: New flexible solution for adaptive AADL-based control components

Abstract

The paper deals with adaptive component-based control systems following the Architecture Analysis and Design Language (denoted by AADL). A system is assumed to be a network of software and hardware AADL components that share the control of corresponding physical processes. A component is composed of a set of algorithms encoding the control after any reception of external events and data signals. The termination of execution is generally done with the emission of data and event signals to remote components. According to various evolutions in environment, the system is required to be dynamically reconfigured at run-time to adapt its control functions. We are interested in local reconfigurations ofr components dealing with the activation-deactivation-update of algorithms and/or data-event inputs and outputs. We propose RA2DL as a solution for reconfigurable AADL components, and define a hierarchical-based architecture to dynamically handle all possible reconfiguration scenarios at run-time. We model and verify this solution and develop a tool for its simulation by taking a real-case study as a running example.