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
V-3.3 Traduction des sous-programmes
Règle V.11 (Traduction des sous-programmes AADL en Ada)
Les sous-programmes AADL sont traduits en Ada par des procédures.
Les accès aux composants de donnée sont traduits par un accès au type de donnée considéré ;
il en va de même pour les accès aux sous-programmes. Les paramètres AADL sont traduits par
des paramètres de procédure AADL selon les règles suivantes :
– le nom des paramètres correspond à celui des éléments d’interface ;
– le type des paramètres correspond à la traduction des types AADL correspondants (cf. V-
2.2) ;
– la direction des paramètres est la même que celle déclarée dans la description AADL (« in »,
« out » ou « in out »).
Dans le cas général d’un sous-programme hybride, les différentes séquences d’appel sont traduites
en procédures ; le sous-programme AADL est également traduit en une procédure contenant
le code source d’implantation. Cette procédure reprend la signature du sous-programme AADL,
en ajoutant le premier paramètre Data que nous avons décrit en section V-2.3.7. Le type de donnée
associé à ce paramètre est un enregistrement contenant les noms des connexions AADL et
les accès aux procédures correspondant aux séquences AADL. Dans le cas d’un sous-programme
fourni en interface d’un composant de donnée AADL, l’enregistrement contient aussi un champ
Data, qui est un accès au type de donnée issu du composant de donnée AADL. Les séquences
d’appel sont traduites par des procédures qui acceptent comme argument le paramètre Data.
Les listings V.16 et V.17 décrivent tout le code généré à partir de la description AADL du
listing V.12
1 package Partition is
2 type entier is new Integer;
3
4 type spA_impl_control is record
5 a : entier;
6 d : entier;
7 default_value : entier;
8 spD3_e : entier;
9 end record;
10
11 type spA_impl_sequence is
12 access procedure (Status : in out spA_impl_control);
13
14 procedure spA_impl (a : in entier; d : out entier);
15 procedure spB (e : in entier; s : out entier);
16 procedure spD (e : in entier; s : out entier);
17 end Partition;
Listing V.16 – Spécifications Ada générées à partir de la description AADL du listing V.12
1 package body Partition is
2 with Algo;
3
4 procedure spA_impl_seq1 (Status : in out spA_impl_control);
5 procedure spA_impl_seq2 (Status : in out spA_impl_control);
6 procedure spA_impl_seq3 (Status : in out spA_impl_control);
7
88 c○ 2007 Thomas Vergnaud