Authors:
Farid Adaili
1
;
Olfa Mosbahi
2
;
Mohamed Khalgui
2
and
Samia Bouzefrane
3
Affiliations:
1
University of Carthage and Conservatoire National des Arts et Métiers, Tunisia
;
2
University of Carthage, Tunisia
;
3
Conservatoire National des Arts et Métiers, France
Keyword(s):
Control System, Component, AADL, Reconfiguration, Modelling, Verification, Simulation, Radar.
Related
Ontology
Subjects/Areas/Topics:
Adaptive Systems
;
Digital Signal Processing
;
Embedded Communications Systems
;
Real-Time Systems
;
Software Architectures
;
Telecommunications
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.
(More)