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 en section V-2.3.4. L’enchaînement des séquences se fait donc par une succession de changements de mode. Cette approche n’est pas satisfaisante pour l’implantation d’architectures logicielles complexes car elle conduit à une explosion combinatoire des modes d’exécution ; elle implique également la mise en place de mécanismes de reconfiguration complexes au sein de l’exécutif pour résoudre un problème qui est traité simplement dans la majorité des langages de programmation. Nous choisissons donc une autre interprétation sémantique à la présence de plusieurs séquences d’appel au sein d’un sous-programme : nous considérons que les séquences d’appel présentes dans l’implantation d’un sous-programme représentent les différentes phases d’exécution possibles. Les différentes séquences doivent être coordonnées par une description comportementale fournie par l’utilisateur. Ainsi, le listing V.11 met en jeu trois phases d’exécution possibles, modélisées par les séquences seq1, seq2 et seq3. 1 data entier 2 properties 3 Language_Support::Data_Type => integer; 4 end entier; 5 6 subprogram spA 7 features 8 a : in parameter entier; 9 d : out parameter entier; 10 end spA; 11 12 subprogram spB 13 features 14 e : in parameter entier; 15 s : out parameter entier; 16 end spB; 17 18 subprogram spC 19 features 20 s : out parameter entier; 21 end spC; 22 23 subrogram spD 24 features 25 e : in parameter entier; 26 s : out parameter entier; 27 end spD; 28 29 subprogram implementation spA.impl 30 subcomponents 31 default_value : data entier; 32 calls 33 seq1 : {spB1 : subprogram spB;}; 34 seq2 : {spC2 : subprogram spC; 35 spB2 : subprogram spB;}; 36 seq3 : {spD3 : subprogram spD;}; 37 connections 38 parameter a -> spB1.e; 39 parameter spB1.s -> spD3.e; 80 c○ 2007 Thomas Vergnaud
40 Chapitre V – Génération du code pour l’enveloppe applicative 41 parameter spC2.s -> spB2.e; 42 parameter spB2.s -> spD3.e; 43 44 parameter spD3.s -> d; 45 properties 46 Source_Name => ‘‘Algo’’; 47 Source_Text => ‘‘Implantation’’; 48 Source_Language => Ada95; 49 end sp1.impl; Listing V.11 – Exemple de sous-programme AADL hybride Afin d’illustrer notre propos, considérons un exemple de scénario d’exécution pour le sousprogramme spA.impl. Celui-ci reçoit une donnée a, dont la sémantique correspond à la définition d’un entier. spA.impl peut avoir différents comportements possibles en fonction de la valeur de la donnée ; ces comportements correspondent à des séquences d’appel différentes et sont décrits par l’algorithme suivant : Requiert a est un entier si a < 4 alors b ← spB (a) sinon c ← spC () b ← spB (c) fin si d ← spD (b) renvoyer d Selon la valeur de a, spA.impl appelle directement spB, ou spC puis spB. Dans tous les cas, la valeur retournée par spB est ensuite transmise à un dernier sous-programmes spD ; la valeur de retour de spD est ensuite retournée par spA. Afin d’avoir une séparation claire entre la partie architecturale (décrite en AADL) et la partie comportementale (décrite en code source), cette dernière doit pouvoir manipuler les différentes séquences d’appel comme des blocs opaques ; il est alors possible de modifier le contenu des séquences (afin de changer les sous-programmes effectivement appelés) sans affecter l’algorithme. Celui-ci ne manipule donc seulement les séquences : Requiert a est un entier si a < 4 alors seq1 sinon seq2 fin si seq3 Nous voyons que les appels aux trois séquences seq1, seq2 et seq3 s’apparentent en fait à des appels de procédure (ou de fonction) qui doivent être générée d’après la description AADL. Connexion avec les données de la description comportementale Nous avons ainsi décrit comment coordonner des séquences d’appel en fonction des données reçues par le sous-programme AADL. Nous n’avons cependant pas pu exprimer le fait que le c○ 2007 Thomas Vergnaud 81
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: Modélisation des systèmes temps-r
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 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 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?