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
Elle permet de regrouper les informations de localisation. Les connexions AADL représentent
les canaux de communication entre les partitions.
La syntaxe AADL permet de séparer clairement d’une part l’implantation des nœuds applicatifs
et d’autre part la topologie de l’application, ce qui facilite le redéploiement d’une application
répartie ainsi décrite. Le listing suivant illustre un déploiement sur deux machines :
1 system implementation Global.implem
2 subcomponents
3 partition_1 : process Partition;
4 partition_2 : process Partition;
5 partition_3 : process Partition;
6 processeur_1 : processor Machine {GLADE::Localisation =>
"137.194.160.84"};
7 processeur_2 : processor Machine {GLADE::Localisation =>
"137.194.192.52"};
8 connections
9 event data port partition_1.communications -> partition_2.
communications;
10 event data port partition_2.communications -> partition_3.
communications {GLADE::Filter => "ZIP"};
11 event data port partition_3.communications -> partition_1.
communications {GLADE::Filter => "ZIP"};
12 properties
13 actual_processor_binding => reference (processeur_1) applies to
partition_1;
14 actual_processor_binding => reference (processeur_2) applies to
partition_2;
15 actual_processor_binding => reference (processeur_1) applies to
partition_3;
16 end Global.implem;
Listing IV.8 – Autre déploiement des nœuds en AADL
Dans cet exemple nous indiquons que certains canaux de communications doivent être compressés.
Ces spécifications s’intègrent de façon naturelle à la description du déploiement ; la syntaxe
classique de GLADE les exprime par une déclaration complémentaire :
1 for Partition_1’Host use "137.194.160.84";
2 for Partition_2’Host use "137.194.192.52";
3 for Partition_3’Host use "137.194.160.84";
4 Canal1_2 : Channel := (Partition1, Partition2);
5 Canal2_3 : Channel := (Partition2, Partition3);
6 Canal3_1 : Channel := (Partition3, Partition1);
7 for Canal2_3’Filter use "ZIP";
8 for Canal3_1’Filter use "ZIP";
IV-1.3 Discussion
Listing IV.9 – Autre déploiement des nœuds avec Gnatdist
L’utilisation d’AADL pour modéliser la répartition d’application fait intervenir à la fois des
constructions architecturales (c’est-à-dire des instances de composant) et un ensemble de propriétés
AADL permettant de décrire les conditions de déploiement. L’implantation des différents
c○ 2007 Thomas Vergnaud 57