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

Chapitre IV – Utilisation d’AADL pour décrire une application répartie
14 in_msg : in event data port;
15 properties
16 dispatch_protocol => aperiodic;
17 end a_server;
18
19 thread implementation a_server.impl
20 end a_server.impl;
21
22 system global end global;
23
24 system implementation global.impl
25 subcomponents
26 client1 : thread a_client.impl;
27 server1 : thread a_server.impl;
28 connections
29 event data port client1.out_msg -> server1.in_msg;
30 end global.impl;
Listing IV.10 – Modélisation d’une architecture basée sur le passage de message
Le protocole de déclenchement du serveur est ici apériodique, tandis que le client est périodique,
avec une période de 10 secondes. Un client peut être constitué d’un thread en tâche de fond
(background).
IV-5.3.2 Appel de procédure distante
Spécification IV.3 (Appels de procédure distante)
Les appels de procédures distantes sont matérialisés par des sous-programmes fournis
comme éléments d’interface d’un thread. Un appel à de tels sous-programmes à partir
d’un autre thread modélise un appel distant.
Un tel mécanisme de communication suppose que le thread serveur se déclenche à l’appel
des sous-programmes qu’il fournit. Ceci implique que le thread a une politique de déclenchement
apériodique.
Du côté du client, le sous-programme ou le thread appelle le sous-programme distant par
l’intermédiaire d’un accès à sous-programme. Le listing IV.11 illustre une architecture basée sur
un mécanisme d’appel distant.
1 subprogram a_rpc
2 features
3 a : in parameter;
4 b : out parameter;
5 end a_rpc;
6
7 thread a_server
8 features
9 rpc1 : server subprogram a_rpc;
10 properties
11 dispatch_protocol => aperiodic;
12 end a_server;
Listing IV.11 – Modélisation d’une architecture basée sur l’appel de sous-programme distant
c○ 2007 Thomas Vergnaud 67