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

More documents

Recommendations

Info

10 features Modélisation des systèmes temps-réel répartis embarqués 11 Request : in parameter Ipao::Request; 12 Buffer : requires data access Buffer; 13 end Add_Request; 14 15 subprogram Bind_Request 16 features 17 Requests : requires data access Buffer; 18 end Bind_Request; 19 end Ipao::Bind; VI-3.4.3 Représentation Listing VI.4 – Modélisation du service de liaison La fonction de représentation convertit une donnée d’un type du modèle de données de la couche neutre en un message conforme à la représentation imposée par la personnalité utilisée (protocolaire ou applicative). Il s’agit donc d’un ensemble de fonctions (au sens mathématique) assimilables à des filtres : une donnée est transformée en une autre suivant un processus déterministe. Dans le cadre d’une modélisation en AADL, le service de représentation définit les composants de donnée qui peuvent être associés aux paramètres des sous-programmes de l’intergiciel, et définit également les sous-programmes de conversion. Ces sous-programmes de conversion possèdent un paramètre d’entrée et un autre de sortie. Afin de rationaliser la description AADL, ils ont une implantation opaque. Le listing VI.5 illustre la signature générale des sous-programmes associés au service de représentation. Nous définissons deux sous-programmes génériques qui devront être étendus pour préciser le type de donnée à traduire. 1 package Ipao::Representation 2 public 3 subprogram Generic_To_Neutral 4 features 5 Generic : in parameter; 6 Neutral : out parameter; 7 end Generic_To_Neutral; 8 9 subprogram Neutral_To_Generic 10 features 11 Neutral : in parameter; 12 Generic : out parameter; 13 end Neutral_To_Generic; 14 end Ipao::Representation; VI-3.4.4 Protocole Listing VI.5 – Modélisation du service de représentation La fonction de protocole coordonne le déroulement d’une invocation distante : à partir d’une demande d’invocation, un message est préparé puis émis. L’intergiciel client est mis en attente 112 c○ 2007 Thomas Vergnaud
Chapitre VI – Construction et configuration de l’interface avec l’intergiciel d’exécution d’une réponse si nécessaire ; lorsque celle-ci est reçue, elle est retraduite sous forme neutre et signalée à la couche neutre, qui la transmet à la personnalité applicative. À la réception d’une demande d’invocation, l’identité de l’entité cible et de la requête concernées sont extraites, ainsi que les paramètres associés. Une requête sous forme neutre est construite et confiée à la couche neutre, pour que celle-ci l’envoie vers la personnalité applicative locale ou la retransmette vers un autre nœud lorsqu’une passerelle entre deux protocoles est établie. Une fois la requête traitée, la couche neutre signale à la couche protocolaire que la réponse éventuelle peut être retournée à l’intergiciel client. Le service de protocole s’apparente à un automate. La modélisation AADL correspondante est donc un sous-programme appelant les sous-programmes d’autres services, tels que le service de représentation et le service de transport. Il est constitué de séquences d’appels vers les différents composants AADL pilotés par le protocole ; l’implantation en code source remplit les fonctions de coordination des différents appels. Son interface est vide (cf. listing VI.6). 1 package Ipao::Protocol 2 public 3 subprogram Protocol 4 end Protocol; 5 end Ipao::Protocol; VI-3.4.5 Transport Listing VI.6 – Modélisation du service de protocole La fonction de transport s’occupe de transférer une information d’un nœud à un autre. Les points d’accès et de terminaison du service de transport représentent des entités permettant à l’intergiciel d’interagir avec les autres nœuds de l’application. Les instants où des événements se produisent sur ces entités et requièrent l’attention de l’intergiciel ne sont pas connus a priori. Ces objets constituent donc des sources d’événements asynchrones qui doivent être scrutées par l’intergiciel pour que ces événements externes soient pris en compte. Ce service doit prendre appui sur une bibliothèque existante, telles que les primitives d’entrées/sorties du système d’exploitation. Il s’agit typiquement de deux opérations send et receive, auxquelles s’ajoutent des mécanismes de configuration. Dans le cadre de la modélisation en AADL, ce service est donc principalement constitué des deux sous-programmes AADL send et receive, comme illustré sur le listing VI.7. Ils matérialisent la bibliothèque de communication qui constitue l’intergiciel de communication de bas niveau. 1 package Ipao::Transport 2 public 3 subprogram Send 4 features 5 Communication : in parameter; 6 end Send; 7 8 subprogram Receive 9 features 10 Communication : out parameter; 11 end Receive; 12 end Ipao:Transport; Listing VI.7 – Modélisation du service de transport c○ 2007 Thomas Vergnaud 113
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: Modélisation des systèmes temps-r
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 126 and 127: VI-3.4.6 Activation Modélisation d
Page 138 and 139: donnee (a) donnée Modélisation de
Page 144 and 145: 53 end global.impl; Modélisation d
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 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?