Modélisation des systèmes temps-réel répartis embarqués pour la ...

24 end sp1.impl;
III-10 Conclusion
Chapitre III – AADL, un langage pour décrire les architectures
Listing III.15 – Connexion interne des paramètres
AADL permet de décrire les architectures avec une approche très concrète ; le langage offre
un ensemble de catégories de composant à la sémantique bien définie. Des notions telles que les
connecteurs sont très peu développées. AADL vise donc un niveau de modélisation centré sur
la description des nœuds de l’architecture. En ce sens il peut être vu comme un langage de préimplantation.
AADL se focalise sur les aspects architecturaux : il permet la description des dimensions des
composants et leur connexions, mais ne traite pas directement de leur implantation comportementale,
ni de la sémantique des données manipulées. Cet aspect de la description peut être ajouté au
moyen d’annexes, ou en associant des descriptions externes à l’aide des propriétés. De la même
façon, les différentes contraintes s’appliquant au système ou le déploiement des applications sur
les topologies matérielles peuvent être exprimées au moyen de propriétés.
Le langage permet ainsi de décrire la structure d’une application par une collection de composants
logiciels s’exécutant sur des composants matériels ; tous ces composants peuvent être
regroupés de façon logique au sein de systèmes.
Dans sa version 1.0, AADL a une approche très primitive de la description des éléments applicatifs.
Notamment, la sélection des appels de sous-programme sont relèvent de la structure interne
des sous-programmes et des threads, ce qui complique la description de l’assemblage d’applications
ou la modélisation d’appels de procédures distantes. Par ailleurs, la syntaxe actuelle ne
permet pas de décrire des variables internes aux sous-programmes, ce qui restreint la description
des interactions entre les constructions architecturales et les descriptions comportementales.
Dans ce chapitre nous avons introduit des extensions à la syntaxe du standard AADL 1.0 afin
de permettre l’instanciation des sous-programmes et la modélisation de variables locales. De cette
façon, nous pouvons modéliser l’assemblage des composants applicatifs AADL de la même manière
que pour les autres composants, et décrire les points d’interaction entre l’architecture et les
descriptions comportementales. Ceci fournit une grande flexibilité pour la réutilisation et le recomposition
des composants, et fournit tous les éléments nécessaires pour décrire des composants
logiciels.
Ces modifications de syntaxe seront intégrées dans la future version 1.2 du standard AADL.
Dans les chapitres suivants, nous montrerons comment exploiter l’assemblage des composants,
les connexions et les propriétés pour décrire une application répartie et les contraintes d’exécutions
associées, et nous présenterons comment exploiter ces informations pour s’assurer de la validité
des architectures et produire des systèmes exécutables.
c○ 2007 Thomas Vergnaud 51