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

Chapitre V – Génération du code pour l’enveloppe applicative
8 procedure spB (e : in entier; s : out entier) is
9 begin
10 Algo.spB (e, s);
11 end spB;
12
13 procedure spD (e : in entier; s : out entier) is
14 begin
15 Algo.spD (e, s);
16 end spD;
17
18 procedure spA_impl_seq1 (Status : in out spA_impl_control) is
19 begin
20 spB (Status.a, Status.spD3_e);
21 end spA_impl_seq1;
22
23 procedure spA_impl_seq2 (Status : in out spA_impl_control) is
24 begin
25 spB (Status.default_value, Status.spD3_e);
26 end spA_impl_seq1;
27
28 procedure spA_impl_seq3 (Status : in out spA_impl_control) is
29 begin
30 spD (Status.spD3_e, Status.d);
31 end spA_impl_seq1;
32
33 procedure spA_impl (a : in entier; d : out entier) is
34 Status : spA_impl_control;
35 begin
36 Status.a := a;
37 Algo.spA_impl (Status,
38 spA_impl_seq1’Access,
39 spA_impl_seq2’Access,
40 spA_impl_seq3’Access);
41 d := Status.d
42 end sp1_impl;
43 end Partition;
Listing V.17 – Code Ada généré à partir de la description AADL du listing V.12
Le code source Ada correspondant à l’implantation de l’algorithme est fourni par l’utilisateur
et doit suivre l’interface prévue :
1 with Partition;
2
3 package body Algo is
4
5 procedure spA_impl
6 (Status : in out Partition.spA_impl_control;
7 Seq1 : Partition.spA_impl_sequence;
8 Seq2 : Partition.spA_impl_sequence;
9 Seq3 : Partition.spA_impl_sequence)
10 is
11 begin
12 Status.default_value := 4;
c○ 2007 Thomas Vergnaud 89