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
– une méthode write_p si le paramètre AADL p est déclaré out.
Un paramètre p déclaré in out engendre la création de deux méthodes read_p et write_p.
Les méthodes d’accès permettent de lire ou d’écrire des attributs du conteneur correspondant aux
paramètres du sous-programme AADL considéré. Ces attributs sont publics, de sorte que l’exécutif
peut les modifier ; les méthodes d’accès ne sont donc utilisées que par l’utilisateur.
De cette façon, nous évitons que l’implantation en code source des sous-programmes AADL
n’interfère avec la sémantique du passage des paramètres. La traduction conserve donc complètement
la signature des sous-programmes.
Les différentes séquences d’appel sont réunies dans une classe ; l’implantation en code source
reçoit un objet de cette classe en paramètre au lieu d’une référence sur chaque procédure. Le
langage Java impose cependant de définir chaque classe dans un fichier séparé. Les listings V.22
à V.28 illustrent le code source à générer à partir du listing AADL V.12 ; tous ces codes sources
sont associés au paquetage Java Partition.
Le listing V.22 représente le type de donnée généré à partir du type de donnée AADL entier.
1 package Partition;
2
3 public class entier {
4 public int val;
5 }
Listing V.22 – Type de donnée généré à partir de la description AADL du listing V.12
Les listings V.23, V.24 et V.25 représentent le code Java correspondant aux paramètres des
sous-programmes spA.impl, spB et spD.
1 package Partition;
2
3 public class spA_i_impl_parameters {
4 public entier d;
5 public entier a;
6
7 public entier read_a () {
8 return a;
9 };
10
11 public void write_d (entier param) {
12 d = param;
13 };
14 }
Listing V.23 – Classe correspondant aux paramètres du sous-programme spA.imp
1 package Partition;
2
3 public class spB_parameters {
4 public entier s;
5 public entier e;
6
7 public entier read_e () {
8 return e;
9 };
10
11 public void write_s (entier param) {
94 c○ 2007 Thomas Vergnaud