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

13
Modélisation des systèmes temps-réel répartis embarqués
14 if Status.a < 4 then
15 Seq1 (Status);
16 else
17 Seq2 (Status);
18 end if;
19
20 Seq3 (Status);
21 end spA_impl;
22
23 procedure spB (e : in partition.entier; s : out partition.entier
) is
24 begin
25 s := e + 1;
26 end spB;
27
28 procedure spD (e : in partition.entier; s : out partition.entier
) is
29 begin
30 s := e * 6;
31 end spD;
32
33 end Algo;
Listing V.18 – Code Ada implantant l’algorithme
La cohérence entre la procédure-enveloppe générée à partir de l’AADL et la procédure fournie
par l’utilisateur sera vérifiée par le compilateur Ada 95.
V-4 Traduction des composants AADL applicatifs dans d’autres langages
Dans cette section nous nous intéressons à la traduction des constructions AADL vers d’autres
langages qu’Ada. Nous considérons les langages C et Java. C est un langage purement procédural,
largement répandu dans les systèmes embarqués temps-réel. Java est un langage orienté objet ; il
n’est pas encore très utilisé, mais il tend à se développer, notamment grâce à des spécifications
de machines virtuelles spécialisées telles que JavaCard [Sun, 2006] ou Real-Time Java [Bollella
et al., 2002]. La prise en compte de ce deux langages nous permet de couvrir un large panorama
de langages de programmation impérative.
V-4.1 Traduction vers C
La traduction des constructions AADL en Ada ne fait pas intervenir les constructions orientées
objet d’Ada. La traduction vers C lui est donc similaire. Nous n’abordons donc que les principales
différences qui se posent entre les deux langages.
V-4.1.1 Traduction des espaces de nom
Le langage C n’a pas la notion de paquetages. Les espaces de noms sont donc matérialisés
par différents fichiers. Le fichier principal, correspondant à l’espace de nom anonyme, est
90 c○ 2007 Thomas Vergnaud