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

More documents

Recommendations

Info

Modélisation des systèmes temps-réel répartis embarqués descriptions comportementales. L’enchaînement des appels au niveau des séquences relève cependant uniquement du domaine de la description AADL. Il est par conséquent possible de modifier l’assemblage des composants ou leur déploiement sans nécessairement affecter l’implantation des algorithmes. Notre approche permet donc une synthèse des possibilités offertes par les langages de description d’interface tels qu’IDL et les langages d’assemblage de composant tels que FractalADL ou les approches orientées composants telles que J2EE. En autorisant de façon transparente l’appel de sous-programmes distants ou locaux, nous permettons un redéploiement facile de l’architecture applicative, de la même façon que des approches telles que GLADE. 98 c○ 2007 Thomas Vergnaud
CHAPITRE VI Construction et configuration de l’interface avec l’intergiciel d’exécution DANS LE CHAPITRE IV nous avons établi une séparation entre la sémantique des threads et des sous-programmes AADL. Le code source produit à partir des sous-programmes doit reposer sur un exécutif chargé de coordonner l’ensemble de l’application. Les threads AADL servent de point d’entrée pour les communications ; ils constituent également le point de départ de l’exécution des éléments logiciels AADL (c’est-à-dire les sous-programmes AADL). Ils matérialisent donc l’intergiciel d’exécution. Dans le chapitre V nous avons expliqué comment traduire la partie applicative d’une description AADL en code source. Nous nous focalisons ici sur l’interprétation des threads afin de paramétrer l’intergiciel d’exécution. Les éléments architecturaux doivent être retranscrits en appliquant d’une part des règles de correspondance entre AADL et le langage cible, et d’autre part en tenant compte de la bibliothèque d’exécution et de l’intergiciel sous-jacents. Nous montrons comment AADL peut être exploité comme langage de configuration pour l’intergiciel – correspondant à la première phase du processus de conception – ou pour sa modélisation – correspondant à la seconde phase du processus. VI-1 Spécifications de l’intergiciel d’exécution La description d’une architecture doit tenir compte des capacités de l’exécutif, comme nous l’avons souligné dans le chapitre IV-5, page 65. L’approche pour la génération de systèmes exécutables que nous avons présentée en section IV-4, page 61, se fonde sur le fait que l’exécutif doit contrôler l’application, afin de préserver au maximum les caractéristiques de l’architecture telles que les temps d’exécution. Les règles de production proposées par le standard 1.0 AADL s’appuient sur un principe opposé ; elles permettent une grande souplesse dans l’implantation des systèmes, mais ne prennent pas en compte les architectures basées sur un intergiciel, rendant ainsi difficile la prise en charge des communications entre les nœuds. Nous décrivons ici les spécifications de l’intergiciel d’exécution que nous avons définies dans le cadre de nos travaux. Ces spécifications permettent de définir une interface entre l’enveloppe applicative dont nous avons étudié la génération au chapitre V et l’intergiciel d’exécution luimême. c○ 2007 Thomas Vergnaud 99
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:
Page 40 and 41:
Page 42 and 43:
Page 44 and 45:
11 end i486.AMD; 12 Modélisation d
Page 46 and 47:
Page 48 and 49:
Page 50 and 51:
Page 52 and 53:
1 system global 2 end global; 3 Mod
Page 54 and 55:
Page 56 and 57:
Page 58 and 59:
Page 60 and 61: Modélisation des systèmes temps-r
Page 62 and 63: 16 Modélisation des systèmes temp
Page 72 and 73: phase 1 phase 2 Modélisation des s
Page 84 and 85: descriptions comportementales Modé
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 138 and 139: donnee (a) donnée Modélisation de
Page 144 and 145: 53 end global.impl; Modélisation d
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 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 ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?