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

Modélisation des systèmes temps-réel répartis embarqués
Un appel de sous-programme distant se manifeste par une connexion d’accès à sous-programme
entre deux threads. Si les deux threads appartiennent au même processus, le générateur de code est
susceptible de procéder à des optimisations, de façon à ne pas faire appel aux couches du réseau.
Du point de vue de la modélisation, ce cas ne constitue cependant pas une situation particulière.
Notons qu’un sous-programme instancié au sein d’un processus et connecté à un accès requis
à sous-programme d’un thread de ce processus ne constitue pas un appel distant ; le thread appelle
simplement le sous-programme local.
IV-5.3.3 Objets distants
AADL ne permet pas de modéliser des objets à proprement parler, dans la mesure où des
notions telles que la surcharge et l’héritage n’existent pas. Notamment, l’extension de composant
permet seulement de réutiliser des déclarations de façon statique ; l’extension d’un composant ne
peut pas instancié en lieu et place du composant étendu. Il n’est pas non plus possible de créer
dynamiquement des composants, comme on peut le faire avec des systèmes comme CORBA.
Il est néanmoins possible de décrire des objets « statiques » comme étant un ensemble de sousprogrammes
fournis par un composant de donnée. Le composant de donnée peut lui-même être
accessible à partir de sous-programmes exécutés par d’autres threads ; il fait partie des éléments
d’interface fournis par le thread serveur.
Spécification IV.4 (Objets répartis)
Les objets répartis sont modélisés par des composants de donnée dont l’accès est fourni
en interface d’un thread. Ces composants de donnée fournissent eux-même un accès à
des sous-programmes, qui constituent les méthodes de l’objet.
Les objets distants en AADL correspondent en fait à des sous-programmes distants associés à
un composant de donnée. Le listing IV.12 illustre un exemple de manipulation d’objet réparti en
AADL.
1 subprogram a_method
2 features
3 a : in parameter;
4 b : out parameter;
5 end a_method;
6
7 data a_class
8 features
9 method1 : subprogram a_method;
10 end a_class;
11
12 thread a_server
13 features
14 object_stub : provides data access a_class;
15 properties
16 dispatch_protocol => aperiodic;
17 end a_server;
18
19 thread implementation a_server.impl
20 subcomponents
21 object : data a_class;
22 connections
68 c○ 2007 Thomas Vergnaud