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

Chapitre IV – Utilisation d’AADL pour décrire une application répartie
à la connexion. Les processeurs AADL ne sont utilisés que comme un moyen propre de décrire la
localisation des partitions.
Cette approche de modélisation permet de restreindre AADL à la description du déploiement
des différents nœuds de l’application.
IV-1.2 Intégration des informations de déploiement
Les composants AADL permettent de décrire la topologie de l’architecture répartie. Les informations
telles que l’emplacement des nœuds correspondent à la spécifications de caractéristiques
associées aux instances des composants.
Pour déterminer les informations pertinentes à associer aux constructions AADL, nous nous
sommes inspirés des travaux menés autour de l’implantation de DSA, GLADE [Pautet et Tardieu,
2005]. GLADE reconnaît un langage de configuration permettant de décrire les différentes partitions
de l’application, ainsi qu’un certain nombre de paramètres permettant de caractériser les
communications ou le contenu des nœuds.
Ces éléments de configuration correspondent à des caractérisations des entités architecturales
de base (partitions ou liaisons inter-partition) ; elle se traduisent en AADL sous la forme de propriétés
associées aux processus, processeurs ou connexions AADL.
La déclaration d’une partition dans GLADE se fait de la façon suivante :
1 Partition_1 : Partition;
Cette déclaration se traduit par une construction AADL telle que celle décrite au listing IV.2,
en faisant référence aux déclarations de composants définies au listing IV.1.
Le langage de GLADE définit un certain nombre d’attributs se rapportant à une partition déjà
déclarée. La syntaxe pour la spécification de la méthode de terminaison pour une partition est
définie ainsi :
1 TERMINATION_LITERAL ::= Global_Termination |
2 Local_Termination |
3 Defered_Termination
4
5 REPRESENTATION_CLAUSE ::=
6 for PARTITION_IDENTIFIER’Termination use TERMINATION_LITERAL
Les politiques de terminaison possibles correspondent à des mot-clé définis par la BNF du
langage. Leur traduction en AADL correspond naturellement à un type énuméré, représenté au
listing IV.3.
19 Termination_Type : type enumeration (Global_Termination,
20 Local_Termination,
21 Defered_Termination);
Listing IV.3 – Définition des valeurs pour la terminaison des partitions
L’application des attributs se traduit par l’association des propriétés AADL correspondantes
aux composants, comme l’illustre le listing suivant :
141 Termination : Glade::Termination_Type
142 => Global_Termination applies to (process);
Listing IV.4 – Terminaison des partitions
c○ 2007 Thomas Vergnaud 55