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

More documents

Recommendations

Info

To validate this design process, we implemented Ocarina, an AADL compiler that uses Poly- ORB, a schizophrenic, highly tailorable middleware, as a runtime.
Table des matières Avant-propos xi I Introduction 1 I-1 Adaptabilité des intergiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 I-2 Vers une démarche systématique pour la construction d’intergiciels adaptés . . . 2 I-3 Organisation de la thèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 II Description de la configuration d’une application répartie 7 II-1 Adaptation des intergiciels . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 II-1.1 Relation entre l’intergiciel et l’application . . . . . . . . . . . . . . . . 7 II-1.2 Description des caractéristiques de l’application . . . . . . . . . . . . 7 II-2 Approches centrées sur l’intergiciel . . . . . . . . . . . . . . . . . . . . . . . . 8 II-2.1 Bibliothèque de communication . . . . . . . . . . . . . . . . . . . . . 8 II-2.2 Adaptation de l’intergiciel aux interfaces de l’application . . . . . . . . 8 II-2.3 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 II-3 Approches centrées sur l’application . . . . . . . . . . . . . . . . . . . . . . . 14 II-3.1 Déclinaisons orientées composant des spécifications « classiques » . . . 14 II-3.2 Conception de l’application par agencement de composants . . . . . . 16 II-3.3 Isolation des informations de déploiement . . . . . . . . . . . . . . . . 16 II-3.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 II-4 Conception des applications fondée sur les modèles . . . . . . . . . . . . . . . 17 II-4.1 Présentation d’UML . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 II-4.2 Particularisation de la syntaxe UML . . . . . . . . . . . . . . . . . . . 19 II-4.3 La démarche MDA . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 II-4.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 II-5 Vers une description formelle des applications . . . . . . . . . . . . . . . . . . 20 II-5.1 Aperçu des langages de description d’architecture . . . . . . . . . . . 20 II-5.2 Éléments constitutifs de la description d’une architecture . . . . . . . . 21 II-5.3 Langages pour assister la production de systèmes exécutables . . . . . 22 II-5.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 II-6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 II-6.1 Insuffisances des approches centrées sur l’intergiciel . . . . . . . . . . 26 II-6.2 Spécifications concrètes de l’application . . . . . . . . . . . . . . . . . 27 II-6.3 AADL comme langage pour la configuration d’intergiciel . . . . . . . 27 c○ 2007 Thomas Vergnaud vii
Page 1 and 2: École doctorale d’informatique,
Page 3: Telle est la nature de l’esprit h
Page 8 and 9: Modélisation des systèmes temps-r
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 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 44 and 45: 11 end i486.AMD; 12 Modélisation d
Page 52 and 53: 1 system global 2 end global; 3 Mod
Page 56 and 57:
Modélisation des systèmes temps-r
Page 58 and 59:
Page 60 and 61:
Page 62 and 63:
16 Modélisation des systèmes temp
Page 64 and 65:
Page 66 and 67:
Page 68 and 69:
Page 70 and 71:
Page 72 and 73:
phase 1 phase 2 Modélisation des s
Page 74 and 75:
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
descriptions comportementales Modé
Page 86 and 87:
Page 88 and 89:
Page 90 and 91:
17 end sp.impl; Modélisation des s
Page 92 and 93:
Page 94 and 95:
Page 96 and 97:
Page 98 and 99:
Page 100 and 101:
Page 102 and 103:
13 Modélisation des systèmes temp
Page 104 and 105:
Page 106 and 107:
Page 108 and 109:
Page 110 and 111:
Page 112 and 113:
Page 114 and 115:
Page 116 and 117:
autre nœud Modélisation des syst
Page 118 and 119:
Page 120 and 121:
Page 122 and 123:
Page 124 and 125:
10 features Modélisation des syst
Page 126 and 127:
VI-3.4.6 Activation Modélisation d
Page 128 and 129:
Page 130 and 131:
Page 132 and 133:
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?