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 9 b : requires data access donnee; 10 c : port group groupe_de_ports; 11 end systeme_b; 12 13 data donnee 14 end donnee; 15 16 port group groupe_de_ports 17 features 18 p1 : in data port donnee; 19 p2 : in out event data port donnee; 20 end groupe_de_ports; 21 22 process process_a 23 features 24 e : in event port; 25 s : out event data port; 26 end process_a; 27 28 subprogram sous_programme_a 29 end sous_programme_a; 30 31 thread thread_a 32 features 33 sp : server subprogram sous_programme_a; 34 end thread_a; Listing III.3 – Exemples d’éléments d’interface De la même façon que pour les sous-composants, le standard AADL définit les éléments d’interface possibles pour chaque catégorie de composant. Le tableau III.2 fait les synthèses de ces possibilités. systeme_b a b c process_a e s thread_a sp FIG. III.5 – Syntaxe graphique des éléments d’interface, correspondant au listing III.3 La syntaxe graphique des éléments d’interface est représentée sur la figure III.5. III-5 Connexions des composants Une description AADL est basée sur un assemblage de sous-composants connectés entre eux au moyen de connexions. 36 c○ 2007 Thomas Vergnaud
Chapitre III – AADL, un langage pour décrire les architectures composant éléments d’interface possibles donnée sous-programmes, accès fourni à une donnée sous-programme port de sortie d’événement ou d’événement/donnée, groupe de ports, accès requis à une donnée, paramètre thread sous-programme serveur, port, group de ports, accès requis ou fourni à une donnée groupe de thread sous-programme serveur, port, groupe de ports, accès requis ou fourni à une donnée processus sous-programme serveur, port, groupe de port, accès requis ou fourni à une donnée processeur sous-programme serveur, port, groupe de ports, accès requis à un bus mémoire accès requis à un bus bus accès requis à un bus dispositif port, groupe de port, sous-programme serveur, accès requis à un bus système sous-programme serveur, port, groupe de ports, accès requis ou fourni à une donnée ou un bus TAB. III.2 – Éléments d’interface possibles pour chaque catégorie de composants III-5.1 Les connexions Les connexions permettent de relier les interfaces des différents sous-composants à celles d’autres sous-composants ou aux interfaces du composant parent. Une connexion est orientée et peut éventuellement être nommée. systeme1 reseau1 system_c.impl systeme2 FIG. III.6 – Syntaxe graphique des connexions, correspondant au listing III.4 La figure III.6 représente la syntaxe graphique correspondant aux connexions décrites dans le listing III.4. III-5.2 Les flux La circulation des données est portée par les connexions, qui sont point-à-point. Afin de faciliter l’analyse de l’architecture, AADL permet de décrire des flux (flows) portés par les connexions. De cette façon, il est possible de décrire le cheminement logique des communications à travers c○ 2007 Thomas Vergnaud 37
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 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 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 98 and 99:
Modélisation des systèmes temps-r
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?