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
UNE MODÉLISATION en AADL permet de décrire les éléments architecturaux d’une application,
éventuellement répartie. Dans ce chapitre nous étudions la démarche de transformation
d’une description AADL en application répartie exécutable.
Les problématiques que nous abordons ici sont l’interprétation des éléments AADL en terme
de construction logicielle, ainsi que l’intégration de descriptions comportementales au sein de la
description. Nous avons montré en section IV-4.1.1 que nous adoptions une démarche de construction
alternative par rapport à celle suggérée par le standard AADL actuel. Cette différence d’approche
a une incidence sur la définition des règles de production de code source. Nous étudions
les différents cas à considérer dans le cadre de la description des composants logiciels en AADL.
V-1 Identification des éléments applicatifs d’AADL
Dans le chapitre III, nous avons établi qu’AADL définit un certain nombre de composants
pour formaliser la partie logiciel d’un système : il s’agit des sous-programmes, des fils d’exécution
(threads) et des composants de donnée. À ces trois catégories de composants s’ajoutent les
processus, qui représentent les exécutables en eux-mêmes.
Les threads et les sous-programmes définissent les flux d’exécution et représentent donc des
instructions en code source ; les composants de données représentent les structures de données,
c’est-à-dire les variables et les paramètres des procédures. Les processus définissent des espaces
de mémoire dans lesquels les threads s’exécutent.
Au chapitre IV, nous avons expliqué que les éléments d’une architecture AADL modélisaient
la couche d’adaptation entre les composant de l’application et un intergiciel d’exécution. Cette
couche d’adaptation est constituée de deux parties :
– une enveloppe permettant de lier les composants applicatifs fournis par l’utilisateur à l’intergiciel
;
– une couche d’interface assurant la coordination entre l’enveloppe et l’intergiciel lui-même.
Dans ce chapitre, nous nous focalisons sur la génération de l’enveloppe à partir de la description
AADL. Cette enveloppe correspond aux composants purement applicatifs de la modélisation,
c’est-à-dire les sous-programmes et les composants de donnée.
Nous nous intéressons à la traduction des éléments applicatifs – les sous-programmes et les
composants de donnée – en langage de programmation, comme illustré sur la figure V.1. Les
éléments architecturaux doivent être retranscrits en appliquant des règles de correspondance entre
AADL et le langage cible. Cette partie de la génération dépend donc uniquement du langage
de programmation à utiliser. Étant donné qu’elle ne dépend pas de l’implantation de l’exécutif,
c○ 2007 Thomas Vergnaud 71