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

39 connections
Chapitre V – Génération du code pour l’enveloppe applicative
40 cnx1 : parameter a -> spB1.e;
41 cnx2 : parameter spB1.s -> spD3.e;
42
43 cnx3 : parameter default_value -> spB2.e;
44 cnx4 : parameter spB2.s -> spD3.e;
45
46 cnx5 : parameter spD3.s -> d;
47 properties
48 Source_Text => "Algo";
49 Source_Name => "spA_impl";
50 Source_Language => Ada95;
51 end spA.impl;
Listing V.12 – Exemple de sous-programme avec une donnée locale
En terme de code source, la donnée locale se traduit par une variable, qui doit être manipulable
par toutes les séquences et par la partie algorithmique.
Nommage des éléments architecturaux
La syntaxe AADL impose de nommer les sous-composants de donnée représentant les variables
locales. Les séquences d’appels doivent également toutes être nommées afin de pouvoir y
faire référence. Des séquences d’appel anonymes sont en effet syntaxiquement correctes, mais inexploitables
dans notre situation car elles ne pourraient alors pas être désignées, donc pas appelées,
par le code source de la description comportementale.
Le cas des connexions de paramètres est légèrement différent. En effet, les connexions se
traduisent en effet par des variables intermédiaires, dont la valeur doit pouvoir être lue par l’algorithme.
Le code source généré doit donc permettre à la partie algorithmique de manipuler les
connexions AADL. Cependant, une connexion anonyme est tout à fait admissible : sa valeur ne
pourra simplement pas être lue par l’implantation comportementale.
Traduction des sous-programmes hybrides
Une séquence d’appel est tout naturellement traduite en une procédure (ou fonction sans type
de retour) dans le langage de programmation cible, de la même façon que le sous-programme
AADL englobant. Les signatures de toutes les procédures correspondant aux séquences d’appels
doivent être identiques, afin de pouvoir les manipuler de façon uniforme, quel que soit leur
contenu.
Règle V.7 (Traduction des séquences d’appel d’un sous-programme hybride)
Chaque séquence d’un sous-programme hybride est traduit par une procédure ou une
fonction dont la signature accepte un paramètre en entrée/sortie. Ce paramètre est une
structure de donnée permettant de stocker les différentes variables correspondant aux
connexions AADL déclarées dans le sous-programme.
Le code sources correspondant à l’algorithme doit pouvoir manipuler les informations décrivant
l’état du sous-programme AADL, c’est-à-dire les différentes variables correspondant aux
paramètres ou aux connexions dans le sous-programme AADL, ainsi que les références aux procédures
correspondant aux séquences.
c○ 2007 Thomas Vergnaud 83