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 V.5 Déclaration de tableaux en AADL . . . . . . . . . . . . . . . . . . . . . . . . 74 V.6 Déclaration d’une chaîne de caractères en AADL . . . . . . . . . . . . . . . . 75 V.7 Déclaration d’une structure de données complexe en AADL . . . . . . . . . . 75 V.8 Déclaration d’une liste en AADL . . . . . . . . . . . . . . . . . . . . . . . . 75 V.9 Exemple de sous-programme AADL avec une implantation opaque . . . . . . 77 V.10 Exemple de séquence d’appel pure . . . . . . . . . . . . . . . . . . . . . . . 78 V.11 Exemple de sous-programme AADL hybride . . . . . . . . . . . . . . . . . . 80 V.12 Exemple de sous-programme avec une donnée locale . . . . . . . . . . . . . . 82 V.13 Type Ada correspondant à une donnée AADL sans sémantique . . . . . . . . 87 V.14 Types Ada issus des déclarations AADL . . . . . . . . . . . . . . . . . . . . 87 V.15 Type Ada correspondant à un composant de liste en AADL . . . . . . . . . . 87 V.16 Spécifications Ada générées à partir de la description AADL du listing V.12 . 88 V.17 Code Ada généré à partir de la description AADL du listing V.12 . . . . . . . 88 V.18 Code Ada implantant l’algorithme . . . . . . . . . . . . . . . . . . . . . . . . 89 V.19 Classe Java correspondant à une donnée AADL sans sémantique . . . . . . . 92 V.20 Classes Java issues des déclarations AADL . . . . . . . . . . . . . . . . . . . 92 V.21 Classe Java correspondant à un composant de liste en AADL . . . . . . . . . 93 V.22 Type de donnée généré à partir de la description AADL du listing V.12 . . . . 94 V.23 Classe correspondant aux paramètres du sous-programme spA.imp . . . . . . 94 V.24 Classe correspondant aux paramètres du sous-programme spB . . . . . . . . . 94 V.25 Classe correspondant aux paramètres du sous-programme spD . . . . . . . . . 95 V.26 Classe de contrôle pour le sous-programme spA.impl . . . . . . . . . . . . . 95 V.27 Classe contenant les séquences d’appel du sous-programme spA.impl . . . . . 95 V.28 Code Java correspondant aux déclarations de sous-programmes AADL du listing V.12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 V.29 Code Java implantant l’algorithme . . . . . . . . . . . . . . . . . . . . . . . 96 VI.1 Modélisation des requêtes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 VI.2 Modélisation de l’interface avec le cœur de l’intergiciel . . . . . . . . . . . . 109 VI.3 Modélisation du service d’adressage . . . . . . . . . . . . . . . . . . . . . . 110 VI.4 Modélisation du service de liaison . . . . . . . . . . . . . . . . . . . . . . . . 111 VI.5 Modélisation du service de représentation . . . . . . . . . . . . . . . . . . . . 112 VI.6 Modélisation du service de protocole . . . . . . . . . . . . . . . . . . . . . . 113 VI.7 Modélisation du service de transport . . . . . . . . . . . . . . . . . . . . . . 113 VI.8 Modélisation du service d’activation . . . . . . . . . . . . . . . . . . . . . . 114 VI.9 Modélisation du µBroker . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115 VI.10 Assemblage des composants de l’intergiciel . . . . . . . . . . . . . . . . . . 116 VII.1 Exemples de déclarations de composants AADL, traduites en réseaux de Petri sur la figure VII.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126 VII.2 Exemple de connexion AADL, traduit par le réseau VII.5 . . . . . . . . . . . 131 VII.3 Appels de sous-programmes, traduits en réseau de Petri sur la figure VII.7 . . 137 VII.4 Description d’un sous-programme avec deux séquences d’appel, correspondant au réseau de Petri de la figure VII.8(a) . . . . . . . . . . . . . . . . . . . . . 141 VII.5 Architecture impliquant un débordement des files d’attentes, traduit par le réseau de Petri de la figure VII.9 . . . . . . . . . . . . . . . . . . . . . . . . . . 144 VIII.1 Description des processus de l’application de test . . . . . . . . . . . . . . . . 156 VIII.2 Description du processus d’initialisation . . . . . . . . . . . . . . . . . . . . 158 VIII.3 Déploiement de l’application de test . . . . . . . . . . . . . . . . . . . . . . . 158 188 c○ 2007 Thomas Vergnaud
Table des listings VIII.4 criptions comportementales des composants de l’application . . . . . . . . . . 159 VIII.5 Interfaces de l’application-témoin basée sur un modèle client/serveur CORBA 160 VIII.6 Code source de la méthode CORBA . . . . . . . . . . . . . . . . . . . . . . . 161 VIII.7 Code source du client CORBA . . . . . . . . . . . . . . . . . . . . . . . . . 161 VIII.8 Interfaces de l’application-témoin basée sur des méthodes oneway CORBA . . 163 VIII.9 Code source de la méthode pour le passage de messages CORBA . . . . . . . 163 VIII.10 Configuration alternative de l’application de test . . . . . . . . . . . . . . . . 168 c○ 2007 Thomas Vergnaud 189
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:
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: Modélisation des systèmes temps-r
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
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?