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

More documents

Recommendations

Info

descriptions comportementales Modélisation des systèmes temps-réel répartis embarqués référencent appellent sous-programmes AADL utilisent procédures traduction types de donnée code de l'enveloppe FIG. V.1 – Génération de l’enveloppe applicative données AADL elle demeure valable pour les deux étapes du processus de conception que nous avons décrit en section IV-3. V-2 Traduction des composants AADL applicatifs en langage de programmation Nous nous focalisons sur la génération de code pour les langages impératifs tels que C, Ada ou Java. Cette section expose d’abord les règles de traduction depuis AADL vers un langage de programmation impérative quelconque, puis indique les traductions précises pour des langages en particulier. Nous choisissons Ada et C car ces langages sont très utilisés dans la communauté des systèmes temps-réel embarqués. Par ailleurs, le fait que la norme Ada définit l’interopérabilité entre les deux langages les rend intéressant pour illustrer l’utilisation d’AADL pour construire des applications dont les composants sont implantés dans des langages différents. Nous détaillons également une traduction vers le langage Java. De nombreux travaux sont en effet menés pour utiliser Java dans des systèmes embarqués. V-2.1 Organisation du processus de traduction La génération d’une application à partir d’une description AADL consiste à traduire les constructions AADL que nous avons identifiées à la section précédente en constructions syntaxiques compilables. Nous nous intéressons à la traduction vers des langages de programmation impératifs – par exemple C. Quel que soit le langage de programmation impérative ciblé, notre objectif est de générer un ensemble de fichiers nécessaires à la compilation de programmes exécutables. Nous devons générer un programme par nœud de l’application répartie. Pour cela, nous considérons chaque 72 c○ 2007 Thomas Vergnaud
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
Page 1 and 2:
École doctorale d’informatique,
Page 3:
Telle est la nature de l’esprit h
Page 6 and 7:
To validate this design process, we
Page 8 and 9:
Modélisation des systèmes temps-r
Page 10 and 11:
Page 12 and 13:
Page 14 and 15:
Page 16 and 17:
Page 18 and 19:
Page 20 and 21:
Page 22 and 23:
II-2.2.2 CORBA Modélisation des sy
Page 24 and 25:
II-2.2.3 RMI Modélisation des syst
Page 26 and 27:
Page 28 and 29:
Page 30 and 31:
Page 32 and 33:
II-4.4 Discussion Modélisation des
Page 34 and 35: II-5.2.2 Connecteurs Modélisation
Page 36 and 37: 18 } Modélisation des systèmes te
Page 38 and 39: Modélisation des systèmes temps-r
Page 44 and 45: 11 end i486.AMD; 12 Modélisation d
Page 52 and 53: 1 system global 2 end global; 3 Mod
Page 62 and 63: 16 Modélisation des systèmes temp
Page 72 and 73: phase 1 phase 2 Modélisation des s
Page 90 and 91: 17 end sp.impl; Modélisation des s
Page 102 and 103: 13 Modélisation des systèmes temp
Page 116 and 117: autre nœud Modélisation des syst
Page 124 and 125: 10 features Modélisation des syst
Page 126 and 127: VI-3.4.6 Activation Modélisation d
Page 134 and 135:
Page 136 and 137:
Page 138 and 139:
donnee (a) donnée Modélisation de
Page 140 and 141:
Page 142 and 143:
Page 144 and 145:
53 end global.impl; Modélisation d
Page 146 and 147:
Page 148 and 149:
Page 150 and 151:
Page 152 and 153:
Page 154 and 155:
15 end sspg_b; Modélisation des sy
Page 156 and 157:
1 data donnee 2 end donnee; 3 4 thr
Page 158 and 159:
Page 160 and 161:
Page 162 and 163:
Page 164 and 165:
Page 166 and 167:
Page 168 and 169:
Page 170 and 171:
Page 172 and 173:
19 use Partition; 20 Modélisation
Page 174 and 175:
23 begin Modélisation des système
Page 176 and 177:
Page 178 and 179:
VIII-3.1 Motifs AADL de base Modél
Page 180 and 181:
Page 182 and 183:
Page 184 and 185:
Page 186 and 187:
Page 188 and 189:
Page 190 and 191:
Page 192 and 193:
Page 194 and 195:
Page 196 and 197:
Page 198 and 199:
Page 200 and 201:
Page 202 and 203:
show all

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

Create successful ePaper yourself

Delete template?

Save as template?