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
19 s : out parameter entier;
20 end spC;
21
22 subprogram implementation spA.impl
23 calls
24 {appel1 : subprogram spB;
25 appel2 : subprogram spC;};
26 connections
27 cnx1 : parameter appel1.s -> appel2.e;
28 cnx2 : parameter appel2.s -> s;
29 end spA.impl;
Listing V.10 – Exemple de séquence d’appel pure
Le sous-programme apparaît alors comme un moyen de connecter entre eux plusieurs autres
sous-programmes. La séquence est accompagnée de la description des connexions entre les paramètres.
Une telle modélisation permet de générer directement un code complet : les appels
aux autres sous-programmes correspondent à des appels de procédures, et les connexions correspondent
à des variables intermédiaires. Le code généré reflète alors strictement la description
AADL.
Règle V.6 (Traduction des séquences d’appels pures)
Un sous-programme constitué seulement d’une séquence d’appel est traduit par une procédure
ou une fonction effectuant les différents appels indiqués par la séquence.
Là encore, le code est généré de façon systématique ; les erreurs de structure, telles que l’absence
ou la mise en concurrence de certaines connexions, doivent être détectées par d’autres
moyens.
V-2.3.5 Implantation hybride
Les sections précédentes ont présenté des cas simples, dans lesquels un sous-programme
AADL était soit un composant à l’implantation opaque soit une séquence d’appels inconditionnelle.
Ces situations extrêmes n’offrent pas beaucoup de souplesse : dans un cas général, un sousprogramme
est susceptible d’appeler différents sous-programmes, en fonction des valeurs des paramètres
qu’il reçoit.
Une modélisation efficace de ce genre de situation doit faire apparaître une séparation claire
entre les conditions d’appel (c’est-à-dire la manipulation algorithmique des données) et les sousprogrammes
à appeler (c’est-à-dire l’enchaînement des appels et la description des connexions) ;
il demeure ainsi facile de changer l’assemblage des composants tout en conservant l’algorithme
inchangé.
Coordination de plusieurs séquences d’appel
Cette approche nécessite de pouvoir décrire plusieurs séquences d’appel possibles au sein du
sous-programme, en adjoignant une description comportementale capable de contrôler l’exécution
des séquences en fonction des paramètres du sous-programme.
Le standard actuel d’AADL permet de décrire plusieurs séquences d’appel au sein d’un même
sous-programme. Il précise que chaque séquence doit être associée à un mode de configuration
particulier. Il s’agit donc de se ramener au cas d’une séquence d’appel pure que nous avons abordé
c○ 2007 Thomas Vergnaud 79