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
9 sequences.seq1 (Status);
10 else
11 sequences.seq2 (Status);
12
13 sequences.seq3 (Status);
14 }
15
16 public static void spB (Partition.spB_parameters param) {
17 entier s = new entier();
18 entier e = param.read_e ();
19 s.val = e.val + 1;
20 param.write_s (s);
21 }
22
23 public static Partition.spD_out spD (Partition.spD_parameters
param) {
24 entier s = new entier();
25 entier e = param.read_e ();
26 s.val = e.val * 6;
27 param.write_s (s);
28 }
29 }
V-5 Conclusion
Listing V.29 – Code Java implantant l’algorithme
Nous avons défini un processus de traduction des constructions AADL purement applicatives
– les données et les sous-programmes – en langage de programmation. Notre approche se base
sur une séparation nette des constructions architecturales et du code des algorithmes : les types
de données et les appels de sous-programmes sont définis par la description AADL, tandis que le
comportement des composants AADL est fournie par l’utilisateur sous forme de code source.
L’implantation en code source des composants doit correspondre à la signature décrite en
AADL. De la même façon que pour IDL, nous avons défini des règles de traduction vers différents
langages de programmation. Les constructions AADL peuvent être traduites dans une grande
diversité de langages, aussi bien purement procéduraux (C) qu’orientés objet (Java). Nous avons
particulièrement étudié Ada, utilisé pour les systèmes embarqués temps-réel ; la richesse de sa
syntaxe permet de retranscrire facilement les descriptions AADL. À l’inverse, Java est à l’origine
conçu pour les systèmes d’information ; il n’offre pas toutes les constructions syntaxiques d’Ada,
ce qui rend la traduction un peu plus complexe.
Dans tous les cas, les règles de traductions permettent une intégration relativement simple des
descriptions comportementales. L’utilisation d’AADL pour construire une application constitue
donc une solution viable.
Nous exploitons la description pour construire l’assemblage et la coordination des différents
sous-programmes. Nous nous démarquons du standard AADL au niveau de la sémantique associées
aux séquences d’appel : nous nous autorisons en effet à décrire plusieurs séquences au sein
d’un sous-programme. Ces différentes séquences correspondent aux différentes phases d’exécution
possible du sous-programme.
Nous définissons des règles de traduction pour permettre la manipulation des séquences par les
c○ 2007 Thomas Vergnaud 97