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
sous-programme puisse introduire de nouvelles données dans le flux d’exécution. En effet, les
connexions ne permettent que de connecter les paramètres du sous-programme AADL aux paramètres
des sous-programmes appelés.
Afin d’avoir la plus grande souplesse possible dans l’expression des algorithmes, il est nécessaire
de pouvoir exprimer le fait que des données sont générées par le code source d’implantation
et transmises aux sous-programmes appelés. Il est donc nécessaire de pouvoir introduire la notion
de variables locales au sous-programme.
Une variable locale à un sous-programme s’apparente à un composant de données, déclaré
comme sous-composant d’un sous-programme. La version 1.0 de la syntaxe AADL ne permet de
modéliser de tels sous-composants dans les sous-programmes ; il est donc nécessaire de recourir
aux extensions que nous introduisons en III-9, page 46. Dans ces conditions, nous pouvons reprendre
l’exemple précédent, en remplaçant le sous-programme spC par une donnée locale, comme
illustré sur le listing V.12.
1 data entier
2 properties
3 Language_Support::Data_Type => integer;
4 end entier;
5
6 subprogram spA
7 features
8 a : in parameter entier;
9 d : out parameter entier;
10 end spA;
11
12 subprogram spB
13 features
14 e : in parameter entier;
15 s : out parameter entier;
16 properties
17 Source_Text => "Algo";
18 Source_Name => "spB";
19 Source_Language => Ada95;
20 end spB;
21
22 subprogram spD
23 features
24 e : in parameter entier;
25 s : out parameter entier;
26 properties
27 Source_Text => "Algo";
28 Source_Name => "spD";
29 Source_Language => Ada95;
30 end spD;
31
32 subprogram implementation spA.impl
33 subcomponents
34 default_value : data entier; -- proposition pour AADL 1.2
35 calls
36 seq1 : {spB1 : subprogram spB;};
37 seq2 : {spB2 : subprogram spB;};
38 seq3 : {spD3 : subprogram spD;};
82 c○ 2007 Thomas Vergnaud