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

Chapitre V – Génération du code pour l’enveloppe applicative
V-3.1 Traduction des espaces de nom
Ada possède la notion de paquetage, bien qu’elle ne corresponde pas exactement à celle
d’AADL. En effet, contrairement à Ada, il n’y a aucune relation particulière en AADL entre
un paquetage et ses sous-paquetages. Nous pouvons donc appliquer directement le mécanisme de
traduction que nous avons expliqué en section V-2.5.
Règle V.10 (Traduction des paquetages AADL en Ada)
L’espace de nom anonyme est transformé en un paquetage Ada appelé Partition. Les
différents espaces de nom (qui sont des fils de l’espace anonyme) sont transformés en
sous-paquetages de Partition. Une hiérarchie de paquetages est générée pour chaque
nœud de l’application. Elle contient les déclarations de tous les types de données et
sous-programmes utilisés dans le nœud.
V-3.2 Traduction des composants de donnée
En l’absence d’informations sémantiques associées à la déclaration d’un composant de donnée,
nous générons un type Ada vide. Ainsi, le type une_donnee décrit au listing V.1 donne lieu à
la génération d’un type vide, comme illustrée au listing V.13.
3 type une_donnee is new null record;
Listing V.13 – Type Ada correspondant à une donnée AADL sans sémantique
Les autres types de donnée se traduisent relativement simplement, comme illustré sur le listing
V.14. Les propriétés AADL ne permettent pas d’indiquer les indices de début et de fin pour les
tableaux ; nous choisissons de fixer le premier indice à 0 afin de faciliter les échanges de données
avec des langages comme le C. La syntaxe AADL utilise le point (« . ») pour marquer le nom
d’une implantation de composant. Comme la syntaxe d’Ada n’autorise pas ce caractère dans les
identificateurs, nous le remplaçons par la chaîne « _i_ ».
5 type une_donnee_i_entier is new Integer;
6 type une_donnee_i_enumeration is ("bleu", "jaune");
7 type une_donnee_i_tableau_entier is array (0 .. 5) of Integer;
8 type une_donnee_i_tableau_entier2 is array (0 .. 5) of
une_donnee_i_entier;
9 type une_donnee_i_chaine is String (0 .. 6);
10
11 type une_donnee_i_structure is record
12 i : une_donnee_i_entier;
13 c : une_donnee_i_chaine;
14 end record;
Listing V.14 – Types Ada issus des déclarations AADL
La traduction d’une structure de liste est plus complexe car il ne s’agit pas d’une construction
prise en charge directement par le langage Ada. Nous recourrons donc à un type paramétré,
matérialisé par l’instanciation d’un paquetage générique (listing V.15).
16 package une_donnee_i_liste is new
17 Arao.Data_Structure (une_donnee_i_entier);
Listing V.15 – Type Ada correspondant à un composant de liste en AADL
La définition de ce paquetage générique doit faire partie de la bibliothèque d’exécution associée
au générateur de code.
c○ 2007 Thomas Vergnaud 87