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

processus AADL séparément.
Chapitre V – Génération du code pour l’enveloppe applicative
Définition V.1 (nœud applicatif)
Un nœud applicatif est représenté par une instance de processus AADL.
Pour chaque processus AADL, le traducteur produit donc les constructions syntaxiques correspondant
aux différents sous-programmes et composants de donnée.
V-2.2 Traduction des composants de données
Les déclarations de composant de donnée AADL correspondent à des déclarations de type
dans les langages de programmation. Ces déclarations se traduisent donc par une définition de
type. Une instance de composant de donnée correspond alors naturellement à la définition d’une
variable.
Règle V.1 (Interprétation des composants de donnée)
La déclaration d’un composant de donnée AADL correspond à la définition d’un type
de donnée dans un langage de programmation impérative. Une instance de composant
de donnée (comme sous-composant d’un thread ou d’un sous-programme correspond à
la définition d’une variable.
La déclaration d’un composant AADL traduit l’existence d’un type de donnée ; la sémantique
du type de donnée n’est cependant pas couverte par la seule déclaration de composant. Ainsi, le
code AADL V.1 ne donne aucune indication sur la nature de la donnée déclarée.
1 data une_donnee
2 end une_donnee;
Listing V.1 – Déclaration d’une donnée AADL
Afin de produire un type de donnée exploitable, il est nécessaire de spécifier la sémantique
de la donnée. Le langage AADL ne transportant pas en lui-même la description sémantique des
données, il est nécessaire de préciser cette sémantique. Au cours de nos travaux nous avons défini
un ensemble de propriétés AADL permettant de spécifier le type de donnée modélisé par les
composants de donnée AADL. Le comité de standardisation AADL a repris cette approche et
défini un ensemble plus complet de propriétés, appelé Language_Support. Les règles que nous
présentons ici peuvent être vues comme des compléments aux directives architecturales que nous
avons présentées en section IV-5, page 65.
40 Data_Format: enumeration (Integer, int, Float, flt, Boolean,
41 String, str, Character, char, Wide_String, Natural, Positive,
42 Enum, long, long_long)
43 applies to (data);
Listing V.2 – Définition de la sémantique des données
La principale propriété de cet ensemble est Data_Format, dont la définition est reproduite au
listing V.2 ; elle permet de spécifier la sémantique d’un composant de donnée. Les différentes valeurs
possibles correspondent aux types classiques définis dans les langages de programmation
(entiers, flottants, caractères, chaînes de caractères, type énuméré). Certains types sont mentionnés
plusieurs fois sous différentes dénominations, afin d’être plus proche des appellations utilisées
dans les langages cibles. Par exemple, Integer et int désignent une sémantique d’entier en reprenant
les mots-clés utilisés en Ada et en C.
c○ 2007 Thomas Vergnaud 73