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

Modélisation des systèmes temps-réel répartis embarqués
Tous les attributs du langage de GLADE sont transformés en propriétés AADL.
De la même façon, la localisation des nœuds sur le réseau est indiquée par un attribut associé
aux partitions :
1 REPRESENTATION_CLAUSE ::=
2 for PARTITION_IDENTIFIER’Host use STRING_LITERAL;
3 | for PARTITION_IDENTIFIER’Host use FUNCTION_IDENTIFIER;
L’utilisation d’AADL fait apparaître la distinction entre partition logicielle et composant matériel
supportant l’exécution des partitions. La localisation des partitions est donc exprimée par
une propriété associée aux processeurs :
56 Host_URL : aadlstring applies to (processor);
Listing IV.5 – Emplacement des nœuds
GLADE est dans ce cas plus concis puisqu’il fait abstraction des éléments matériels qui soustendent
le déploiement de l’application. Les informations de localisation des partitions leur sont
directement associées. La description des communications possibles entre les partitions fait en
revanche l’objet de déclarations séparées :
1 for Partition_1’Host use "127.0.0.1";
2 for Partition_2’Host use "127.0.0.1";
3 for Partition_3’Host use "127.0.0.1";
4 Canal1_2 : Channel := (Partition1, Partition2);
5 Canal2_3 : Channel := (Partition2, Partition3);
6 Canal3_1 : Channel := (Partition3, Partition1);
Listing IV.6 – Description du déploiement des nœuds avec Gnatdist
La construction AADL équivalente est plus complexe, mais plus structurée :
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 =>
"127.0.0.1"};
7 connections
8 event data port partition_1.communications -> partition_2.
communications;
9 event data port partition_2.communications -> partition_3.
communications;
10 event data port partition_3.communications -> partition_1.
communications;
11 properties
12 actual_processor_binding => reference (processeur_1) applies to
partition_1;
13 actual_processor_binding => reference (processeur_1) applies to
partition_2;
14 actual_processor_binding => reference (processeur_1) applies to
partition_3;
15 end Global.implem;
Listing IV.7 – Description du déploiement des nœuds en AADL
56 c○ 2007 Thomas Vergnaud