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 VI-3.6 Évaluation des caractéristiques des services de communications La modélisation des couches de communication de l’application – constituant l’intergiciel de communication – en AADL fait intervenir un ensemble de composants dont la description exacte dépend de la configuration de l’application. La description de ces composants permet de retranscrire les différents paramètres de configuration que nous avons mentionnés en section VI-2.2.3. Elle permet également de spécifier les dimensions spatiales et temporelles des différents éléments de l’intergiciel. La prise en compte de ces caractéristiques est difficilement conciliable avec une génération complète des implantations des composants AADL. Les temps d’exécution et la place en mémoire dépendent en effet non seulement du code des implantations, mais aussi du compilateur utilisé, du système d’exploitation sous-jacent, etc. Il est donc nécessaire de prédéfinir la plus grande partie des composants utilisables. Nous avons montré que certains composants ne changent pas d’une configuration à une autre ; par exemple, une personnalité protocolaire constitue un ensemble fixe de composants. Certaines composants, comme les sous-programmes de conversion du service de représentation, peuvent être construit par assemblage de composants élémentaires – en l’occurrence des sous-programmes AADL permettant de convertir les types AADL de base que nous avons définis en section V-2.2. Il est ainsi possible de définir un ensemble de composants soit complètement prédéfinis soit paramétrables. La construction de l’intergiciel consiste alors en l’assemblage de ces composants connus pour former la configuration souhaitée, plutôt qu’en une génération complète. VI-4 Conclusion Dans ce chapitre nous avons présenté la conception de l’exécutif que nous associons aux descriptions AADL. Cet exécutif fournit les fonctionnalités nécessaires à la mise en place des mécanismes de communication et de traitement des flux de données que nous avons définis au chapitre IV-4.2. Cette conception d’exécutif constitue une alternative à l’approche proposée dans la version 1.0 du standard AADL. Nous avons présenté deux approches possibles pour sa mise en place. Nous avons tout d’abord montré comment utiliser un exécutif de haut niveau. Un tel exécutif correspond à la première phase de notre processus de conception. L’utilisation de PolyORB permet de prendre en charge tous les modèles de communication que nous avons définis en AADL ; il permet également une grande flexibilité dans la configuration de l’exécutif. L’utilisation d’un exécutif de bas niveau pour la seconde phase de notre processus de conception suppose la modélisation en AADL des différentes fonctionnalités de l’intergiciel de communication. Nous nous sommes reposés sur l’architecture schizophrène pour concevoir cette modélisation AADL. Bien que PolyORB soit lui-même une mise en pratique de l’architecture schizophrène, il repose sur des mécanismes dynamiques, qui ne correspondent pas à la démarche de modélisation d’AADL. Notre modélisation ne correspond donc pas exactement à l’implantation actuelle de PolyORB, même si elle en reprend les principes architecturaux. La définition des composants en AADL permet d’avoir une vision précise des mécanismes mis en jeu ; il est ainsi possible de dimensionner les couches de communication de l’application tout en reproduisant les politiques de configuration utilisées dans PolyORB. Nous avons présenté un ensemble de composants fournissant l’armature de la description architecturale de l’intergiciel. La description d’une instance appropriée de l’intergiciel de commu- 118 c○ 2007 Thomas Vergnaud
Chapitre VI – Construction et configuration de l’interface avec l’intergiciel d’exécution nication en AADL consiste à préciser ces composants en fonction de la configuration de l’application. Bien que la définition exacte des composants soit spécifique à chaque instance de l’intergiciel en AADL, la grande majorité d’entre eux correspond à la particularisation d’un ensemble relativement restreint de composants AADL génériques. La description automatique des couches de communication en AADL consiste donc en l’assemblage de composants parmi un ensemble prédéfini et connu. c○ 2007 Thomas Vergnaud 119
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:
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: Modélisation des systèmes temps-r
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 172 and 173: 19 use Partition; 20 Modélisation
Page 174 and 175: 23 begin Modélisation des système
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?