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

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