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

Chapitre III – AADL, un langage pour décrire les architectures
26 end processus_a.config1;
Listing III.12 – Sélection du sous-programme appelé
De la même façon, l’expression d’un appel distant se fait par les connexion des éléments
d’interface, comme le montre le listing III.13. Pour des raisons de concision, nous avons fait
figurer le thread fournissant le sous-programme dans le même processus ; la mise en place d’un
« véritable » appel distant correspondrait à placer le thread thread2 dans un autre processus.
28 thread thread_b
29 features
30 p : provides subprogram access sp_a;
31 end thread_b;
32
33 process implementation processus_a.config2
34 subcomponents
35 thread1 : thread thread_a.impl;
36 thread2 : thread thread_b;
37 connections
38 subprogram access thread2.p -> thread1.p;
39 end processus_a.config2;
Listing III.13 – Modélisation d’un appel distant
La syntaxe pour un sous-programme associé à une donnée est très semblable.
III-9.2 Connexion des paramètres
III-9.2.1 Limitations du standard 1.0
La syntaxe AADL actuelle permet de connecter les paramètres (ou les ports s’il s’agit de
threads). Il est ainsi possible de décrire la transmission de l’information entre un thread ou un
sous-programme, et les sous-programmes qu’il appelle.
En revanche, il est impossible de modéliser le fait que certaines données puissent être crées au
niveau de l’implantation en code source du sous-programme puis transmises aux sous-programmes
appelés. Le listing III.14 illustre cette limitation : aucune construction syntaxique ne permet d’exprimer
le fait que la donnée transmise au paramètre e2 du sous-programme sp1 lors de l’appel
appel1 est générée par du code applicatif associé à sp2.impl
1 data donnee
2 end donnee;
3
4 subprogram sp1
5 features
6 e : in parameter donnee;
7 s : out parameter donnee;
8 end sp1;
9
10 subprogram sp2
11 features
12 e1 : in parameter donnee;
13 e2 : in parameter donnee;
14 s : out parameter donnee;
15 end sp2;
c○ 2007 Thomas Vergnaud 49