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
15 Partition.subprogram.spB (param);
16 }
17
18 public void seq3 (Partition.spA_i_impl_control Status) {
19 param = new spD_parameters ();
20 param.e = Status.spD3_e;
21 param.s = Status.d;
22 Partition.subprogram.spD (param);
23 }
24 }
Listing V.27 – Classe contenant les séquences d’appel du sous-programme spA.impl
Enfin, le listing V.28 représente le code généré pour l’ensemble des sous-programmes AADL
définis dans le listings V.12.
1 package Partition;
2 import Algo.*;
3
4 public class subprogram {
5 public static void spA_i_impl (spA_i_impl_parameters param)
{
6 spA_i_impl_control Status = new spA_i_impl_control();
7 Status.a = param.read_a ();
8 Algo.spA_impl (Status, new spA_i_impl_subprogram());
9 param.write_d (Status.d);
10 }
11
12 public static void spB (spB_parameters param) {
13 Algo.spB (param);
14 }
15
16 public static void spD (spD_parameters param) {
17 Algo.spD (param);
18 }
19 }
Listing V.28 – Code Java correspondant aux déclarations de sous-programmes AADL du listing
V.12
De la même façon que pour Ada, les méthodes correspondant aux sous-programmes spB et
spD se contentent d’appeler le code fourni par l’utilisateur. En revanche, l’enveloppe générée pour
le sous-programme spA.impl initialise la structure de contrôle et les différentes séquences avant
d’appeler l’implantation fournie par l’utilisateur.
L’implantation de l’algorithme fournie par l’utilisateur en Java est représentée au listing V.29.
1 package Algo;
2 import Partition.*;
3
4 public class Algo {
5 public static void spA_impl (spA_i_impl_control Status,
spA_i_impl_subprogram sequences) {
6 Status.default_value.val = 4;
7
8 if (Status.a.val < 4)
96 c○ 2007 Thomas Vergnaud