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 VIII.1 Organisation des modules d’Ocarina . . . . . . . . . . . . . . . . . . . . . . . 153 VIII.2 Processus de génération dans Ocarina/Gaia . . . . . . . . . . . . . . . . . . . 154 VIII.3 Processus de génération dans Ocarina/PN . . . . . . . . . . . . . . . . . . . . 155 VIII.4 Architecture de l’application de test . . . . . . . . . . . . . . . . . . . . . . . 157 186 c○ 2007 Thomas Vergnaud
Table des listings II.1 description RPCL d’une application . . . . . . . . . . . . . . . . . . . . . . . 9 II.2 description IDL d’une application . . . . . . . . . . . . . . . . . . . . . . . . 10 II.3 interface d’une classe Java invocable à distance . . . . . . . . . . . . . . . . . 12 II.4 interface d’une classe Java invocable à distance . . . . . . . . . . . . . . . . . 12 II.5 Connecteur en Darwin, correspondant a la figure II.4 . . . . . . . . . . . . . . 23 III.1 Types et implantations de composants AADL . . . . . . . . . . . . . . . . . . 31 III.2 Structure interne des composants AADL . . . . . . . . . . . . . . . . . . . . 33 III.3 Exemples d’éléments d’interface . . . . . . . . . . . . . . . . . . . . . . . . 35 III.4 Connexions et flux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 III.5 Système global et modes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 III.6 Paquetages AADL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 III.7 Déclarations de propriétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 III.8 Extrait des déclarations de propriétés standard . . . . . . . . . . . . . . . . . 42 III.9 Associations de valeurs aux propriétés . . . . . . . . . . . . . . . . . . . . . 44 III.10 Annexes AADL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 III.11 Modélisation de séquences d’appel en AADL 1.0 . . . . . . . . . . . . . . . . 47 III.12 Sélection du sous-programme appelé . . . . . . . . . . . . . . . . . . . . . . 48 III.13 Modélisation d’un appel distant . . . . . . . . . . . . . . . . . . . . . . . . . 49 III.14 Connexion interne des paramètres . . . . . . . . . . . . . . . . . . . . . . . . 49 III.15 Connexion interne des paramètres . . . . . . . . . . . . . . . . . . . . . . . . 50 IV.1 Composants AADL génériques . . . . . . . . . . . . . . . . . . . . . . . . . 54 IV.2 Mise en place des composants . . . . . . . . . . . . . . . . . . . . . . . . . . 54 IV.3 Définition des valeurs pour la terminaison des partitions . . . . . . . . . . . . 55 IV.4 Terminaison des partitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 IV.5 Emplacement des nœuds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 IV.6 Description du déploiement des nœuds avec Gnatdist . . . . . . . . . . . . . . 56 IV.7 Description du déploiement des nœuds en AADL . . . . . . . . . . . . . . . 56 IV.8 Autre déploiement des nœuds en AADL . . . . . . . . . . . . . . . . . . . . 57 IV.9 Autre déploiement des nœuds avec Gnatdist . . . . . . . . . . . . . . . . . . 57 IV.10 Modélisation d’une architecture basée sur le passage de message . . . . . . . 66 IV.11 Modélisation d’une architecture basée sur l’appel de sous-programme distant . 67 IV.12 Modélisation d’une architecture basée sur des objets distants . . . . . . . . . . 68 IV.13 Définition de la propriété AADL pour le déclenchement des threads . . . . . . 69 V.1 Déclaration d’une donnée AADL . . . . . . . . . . . . . . . . . . . . . . . . 73 V.2 Définition de la sémantique des données . . . . . . . . . . . . . . . . . . . . 73 V.3 Déclaration d’un entier en AADL . . . . . . . . . . . . . . . . . . . . . . . . 74 V.4 Déclaration d’un type énuméré en AADL . . . . . . . . . . . . . . . . . . . . 74 c○ 2007 Thomas Vergnaud 187
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: 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 ...

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

Delete template?

Save as template?