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

19 use Partition;
20
Modélisation des systèmes temps-réel répartis embarqués
21 Elapsed_Time : Duration;
22 begin
23 if e = 1 then
24 Date_Start := Clock;
25 s := e + 1;
26 elsif e = 20001 then
27 Date_End := Clock;
28 Elapsed_Time := Date_End - Date_Start;
29 Put_Line ("Elapsed time : " & Duration’Image (Elapsed_Time))
;
30 s := 0;
31 else
32 s := e + 1;
33 end if;
34 end Application;
35
36 end Repository;
Listing VIII.4 – criptions comportementales des composants de l’application
L’utilisateur n’a pas à fournir de code source supplémentaire pour les différents nœuds de l’application
; les procédures d’initialisation sont générées automatiquement à partir de la description
AADL.
VIII-2.2 Mise en place des applications-témoins
CORBA privilégie des architectures basées sur des objets répartis mettant en jeu des appels de
méthodes distantes. L’équivalent « naturel » de l’architecture AADL que nous étudions est donc
formé d’un client envoyant des entiers à un serveur et récupérant une réponse à chaque requête.
Cette organisation d’application ne correspond cependant pas exactement à notre modélisation
AADL. Afin d’effectuer une comparaison complète, nous établissons alors deux applicationstémoin
:
– une première application basée sur un appel de méthode distante ;
– une seconde application mettant en place des méthodes oneway, pouvant être assimilées à
des envois de messages.
VIII-2.2.1 Application CORBA basée sur l’invocation de méthode
Notre première application-témoin est constituée de deux objets, un client et un serveur. Le
client invoque une méthode fournie par le serveur, qui renvoie la réponse. Le listing VIII.5 détaille
les interfaces des deux objets, en IDL CORBA.
1 interface Echo {
2 long echoInt (in long Mesg);
3 };
Listing VIII.5 – Interfaces de l’application-témoin basée sur un modèle client/serveur CORBA
L’utilisateur doit fournir le code source décrivant la description comportementale de la méthode
echoInt (listing VIII.6).
160 c○ 2007 Thomas Vergnaud