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 pour la ...
Modélisation des systèmes temps-réel répartis embarqués pour la ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Chapitre V – Génération du code <strong>pour</strong> l’enveloppe applicative<br />
12 s = param;<br />
13 };<br />
14 }<br />
Listing V.24 – C<strong>la</strong>sse correspondant aux paramètres du sous-programme spB<br />
1 package Partition;<br />
2<br />
3 public c<strong>la</strong>ss spD_parameters {<br />
4 public entier s;<br />
5 public entier e;<br />
6<br />
7 public void write_s (entier param) {<br />
8 s = param;<br />
9 };<br />
10<br />
11 public entier read_e () {<br />
12 return e;<br />
13 };<br />
14 }<br />
Listing V.25 – C<strong>la</strong>sse correspondant aux paramètres du sous-programme spD<br />
Les listings V.26 et V.27 représentent respectivement le code Java correspondant à <strong>la</strong> structure<br />
de contrôle associée au sous-programme spA.impl et le code correspondant aux différentes<br />
séquences d’appel de spA.impl.<br />
1 package Partition;<br />
2<br />
3 public c<strong>la</strong>ss spA_i_impl_control {<br />
4 public entier a = new entier();<br />
5 public entier d = new entier();<br />
6 public entier default_value = new entier();<br />
7 public entier spD3_e = new entier();<br />
8 }<br />
Listing V.26 – C<strong>la</strong>sse de contrôle <strong>pour</strong> le sous-programme spA.impl<br />
Le code généré <strong>pour</strong> les différentes séquences prend en charge les connexions AADL : cellesci<br />
sont traduites par <strong>des</strong> affectations <strong>des</strong> différentes attributs <strong>des</strong> conteneurs de paramètres à partir<br />
<strong>des</strong> attributs de l’objet de contrôle (défini au listing V.26).<br />
1 package Partition;<br />
2<br />
3 public c<strong>la</strong>ss spA_i_impl_subprogram {<br />
4 public void seq1 (Partition.spA_i_impl_control Status) {<br />
5 param = new spB_parameters ();<br />
6 param.e = Status.a;<br />
7 param.s = Status.spD3_e;<br />
8 Partition.subprogram.spB (param);<br />
9 }<br />
10<br />
11 public void seq2 (Partition.spA_i_impl_control Status) {<br />
12 param = new spB_parameters ();<br />
13 param.e = Status.default_value;<br />
14 param.s = Status.spD3_e;<br />
c○ 2007 Thomas Vergnaud 95