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

16
Modélisation des systèmes temps-réel répartis embarqués
17 subprogram implementation sp1.impl
18 subcomponents
19 variable : data donnee;
20 calls {
21 appel1 : subprogram sp2;
22 };
23 connections
24 parameter e -> appel1.e1;
25 parameter variable -> appel1.e2;
26 parameter appel1.s -> s;
27 end sp1.impl;
Listing III.14 – Connexion interne des paramètres
Une façon de contourner cette limitation serait de créer artificiellement un sous-programme
sp2 possédant un paramètre de sortie ; sp2 symboliserait le calcul de la donnée manquante. Dans ce
cas, sp1.impl appellerait d’abord sp2 puis sp1 ; Le modèle AADL ferait apparaître une connexion
entre la sortie de sp2 et l’entrée correspondante de appel1.e2. Il s’agirait cependant d’une autre
architecture ; cette approche ne convient donc pas.
III-9.2.2 Extension de la syntaxe
Afin de modéliser les connexions entre des données calculées par les implantations en code
sous des sous-programmes et les sous-programmes qu’ils appellent, il est nécessaire de faire en
sorte que les sous-programmes et les threads puissent avoir des composants de données comme
sous-composants. Ces composants de données modélisent alors des variables. Le listing III.15
illustre la nouvelle construction syntaxique.
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;
16
17 subprogram implementation sp1.impl
18 calls {
19 appel1 : subprogram sp2;
20 };
21 connections
22 parameter e -> appel1.e1;
23 parameter appel1.s -> s;
50 c○ 2007 Thomas Vergnaud