Modélisation des systèmes temps-réel répartis embarqués pour la ...

More documents

Recommendations

Info

11 end i486.AMD; 12 Modélisation des systèmes temps-réel répartis embarqués 13 processor implementation i486dx.Intel extends i486.Intel 14 end i486dx.Intel; Listing III.1 – Types et implantations de composants AADL Il est possible d’étendre une déclaration de composant (type ou implantation) afin d’y ajouter ou d’en préciser des éléments (cf. listing III.1). La figure III.4 résume les mécanismes d’extensions possibles. Nous pouvons remarquer que l’implantation d’un type qui en étend un autre peut étendre une implantation du type initial. type 1 type 2 impl. 1A impl. 1B impl. 2A impl. 2B étend implante FIG. III.4 – Possibilités d’extension des composants impl. 2C L’extension de composant AADL ne correspond pas exactement à la notion d’héritage des langages objet : un composant et son extension constituent des composants distincts ; il n’est pas possible d’utiliser l’un pour l’autre au sein d’une description architecturale. En revanche, les implantations d’un type de composant peuvent être substituées les unes aux autres dans la mesure où elles partagent la même interface aux autres composants. III-3 Structure interne des composants La structure interne des composants peut être précisée dans la déclaration des implantations des composants. III-3.1 Sous-composants Un sous-composant est une instance de la déclaration d’un composant. De cette façon, une architecture modélisée en AADL est une arborescence de d’instances de composants. La déclaration d’un sous-composant doit être associée à une catégorie, un type ou une implantation de composant ; il est ainsi possible d’apporter plus ou moins de précision dans la description architecturale. En ne spécifiant que la catégorie du sous-composant, la description architecturale demeure vague ; elle ne peut pas être exploitée pour générer un système exécutable, mais peut être employée à des fins de documentation. Une description architecturale complète doit préciser l’implantation de composant utilisée pour chaque sous-composant. 32 c○ 2007 Thomas Vergnaud
Chapitre III – AADL, un langage pour décrire les architectures AADL définit les règles de composition des composants ; seules les combinaisons ayant une sémantique cohérente sont autorisées. Le tableau III.1 fait la synthèse des compositions possibles. composant sous-composants donnée données sous-programme — thread — groupe de threads threads processus threads, groupes de threads processeur mémoires mémoire mémoires bus — dispositif — système données, processus, processeurs, mémoires, dispositifs, bus, systèmes TAB. III.1 – Compositions légales des composants AADL Nous pouvons remarquer que les sous-programmes ne sont jamais instanciés. En effet, la sémantique d’AADL traduit le fait qu’en terme de langage de programmation, un sous-programme n’est en fait qu’une séquence de code stockée dans l’espace mémoire d’un programme : ce n’est pas une entité en soi. Nous reviendrons sur ce point en section III-9. De la même façon, un processus ne peut pas être un sous-composant d’un processeur : un programme est en effet exécuté par un processeur, mais n’est pas intégré dedans. Dans la mesure où un dispositif modélise une boîte noire, il ne peut pas avoir de sous-composant. Un composant mémoire peut être contenu dans un processeur ou une autre mémoire pour modéliser un cache mémoire ou une partition de disque dur. Les systèmes peuvent contenir toutes les catégories de composants sauf les sous-programmes (qui ne peuvent pas être instanciés) et les threads et groupes de threads, qui doivent appartenir à un processus – un fil d’exécution ne peut en effet pas exister en dehors de l’espace mémoire qui délimite son exécution. III-3.2 Appels de sous-programmes Les appels de sous-programmes modélisent les appels de procédures dans les langages impératifs. Ils sont regroupés en séquences d’appels dans les sous-programmes et les threads. Bien que la syntaxe utilisée soit semblable à la déclaration d’un sous-composant, un appel de sousprogramme ne représente pas une instance de sous-programme. L’approche d’AADL correspond donc aux principes des langages de programmation : chaque sous-programme appelé est implicitement instancié une fois dans la mémoire du processus, et peut-être appelé plusieurs fois. 1 process processus_a 2 end processus_a; 3 4 thread thread_a 5 end thread_a; 6 7 process implementation processus_a.impl 8 subcomponents c○ 2007 Thomas Vergnaud 33
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 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 94 and 95:
Modélisation des systèmes temps-r
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:
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 ...

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

Delete template?

Save as template?