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

17 end sp.impl;
Modélisation des systèmes temps-réel répartis embarqués
Listing V.9 – Exemple de sous-programme AADL avec une implantation opaque
Règle V.5 (Traduction des sous-programmes ayant une implantation opaque)
Un sous-programme AADL n’ayant pas de séquences d’appel et dont les propriétés
Source_Language, Source_Text et Source_Name sont définies est traduit par une enveloppe
appelant le code spécifié par les propriétés.
L’enveloppe générée doit faire le lien avec le code source que l’utilisateur doit fournir, en
faisant correspondre les paramètres. L’utilisateur doit donc écrire le code source d’implantation
sous forme d’une procédure ou d’une fonction dont la signature correspond à celle décrite en
AADL. Les types de données utilisés correspondent aux types générés à partir des déclarations de
composants de donnée AADL. Dans notre approche, la cohérence entre la déclaration AADL et
l’implantation comportementale est vérifiée par le compilateur.
Nous matérialisons ainsi une séparation nette entre la partie architecturale et la description
algorithmique, comme nous l’avions illustré sur la figure V.1. Le fait de fournir le code complet
d’une procédure – au lieu d’insérer du code au sein d’un squelette généré – permet d’avoir une
séparation nette entre l’enveloppe AADL et l’implantation comportementale. Cela facilite la maintenance
du code source d’implantation : l’implantation fournie par l’utilisateur n’est pas affectée
par les changements dans la description architecturale, pourvu que l’interface du sous-programme
AADL ne soit pas modifiée. Cela autorise également un découplage entre le langage cible produit
par le traducteur AADL et le langage utilisé pour l’implantation en code source : l’enveloppe
générée à partir de l’AADL dépend à la fois du langage cible et du langage d’implantation, et
contient toutes les instructions nécessaires pour faire la liaison entre les deux code sources.
V-2.3.4 Séquences d’appel pures
AADL permet de modéliser un sous-programme comme étant une séquence d’appel à d’autres
sous-programmes AADL, comme illustré sur le listing V.10. En l’absence de description comportementale,
nous considérons que le comportement du sous-programme consiste à exécuter la
séquence.
1 data entier
2 properties
3 Language_Support::Data_Type => integer;
4 end entier;
5
6 subprogram spA
7 features
8 s : out parameter entier;
9 end spA;
10
11 subprogram spB
12 features
13 s : out parameter entier;
14 end spB;
15
16 subprogram spC
17 features
18 e : in parameter entier;
78 c○ 2007 Thomas Vergnaud