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
27 end une_donnee.tableau_entier2;
Listing V.5 – Déclaration de tableaux en AADL
Les chaînes de caractères constituent un mécanisme à mi-chemin entre les types scalaires et
les tableaux. Pour des raisons pratiques, nous ne considérons que les chaînes de taille fixée ; nous
évitons ainsi de traiter le redimensionnement des chaînes. Ceci permet d’une part de simplifier
la manipulation des chaînes, et également de pouvoir déterminer de façon statique la taille des
communications. Nous utilisons donc une propriété supplémentaire pour spécifier la taille de la
chaîne, comme illustré sur le listing V.6. Les chaînes de caractères sont vues implicitement comme
des tableaux de caractères unidimensionnels.
29 data implementation une_donnee.chaine
30 properties
31 Language_Support::Data_Format => String;
32 Language_Support::Dimension => (7);
33 end une_donnee.chaine;
Listing V.6 – Déclaration d’une chaîne de caractères en AADL
Les structures de données constituées de plusieurs champs (aussi appelées enregistrements
dans certains langages) constituent des données complexes. Leur organisation peut être représenté
par une construction AADL à l’aide de sous-composants, comme illustré sur le listing V.7. Une
telle déclaration traduit exactement le fait que le type de donnée une_donnee.structure est constitué
de deux champs i et c, correspondant tous deux à un type défini par ailleurs. Aucune propriété
AADL n’a besoin d’être spécifiée, car la syntaxe AADL suffit à fournir toutes les informations
nécessaires.
35 data implementation une_donnee.structure
36 subcomponents
37 i : data une_donnee.entier;
38 c : data une_donnee.chaine;
39 end une_donnee.structure;
Listing V.7 – Déclaration d’une structure de données complexe en AADL
Les listes constituent un cas limite pour lequel AADL ne permet pas une description efficace.
Les listes ne peuvent pas être représentées comme des structures de données. En effet, une liste
est une succession de données de même type chaînées les unes aux autres, le dernier éléments
de la liste n’ayant pas de successeur. Une telle construction ne peut pas être représentée comme
une structure de donnée telle que décrite dans le listing V.7, dans la mesure où AADL ne possède
pas la notion de pointeur ou de référence : un composant s’instanciant lui-même comme souscomposant
produit systématiquement une architecture infiniment récursive, qui ne peut pas être
exploitée. Une solution consiste à utiliser des propriétés AADL permet de décrire un type de
donnée opaque, qui masque la structure exacte de la donnée, comme représenté sur le listing V.8.
Nous masquons alors la structure interne du type de donnée, en suivant une approche similaire à
celle appliquée pour les conteneurs de la bibliothèque standard du C++ [Stroustrup, 2003]. Pour
cela, nous introduisons une nouvelle valeur pour la propriété Data_Structure : chained_list. De
la même façon que pour les tableaux, nous pouvons utiliser Language_Support::Data_Format ou
Language_Support::Data_Type.
41 data implementation une_donnee.liste
42 properties
43 Language_Support::Data_Structure => Chained_List;
c○ 2007 Thomas Vergnaud 75