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

Chapitre VI – Construction et configuration de l’interface avec l’intergiciel d’exécution
VI-3 Seconde phase : utilisation d’un intergiciel de bas niveau
Dans la section précédente nous avons décrit la mise en place d’un exécutif de haut niveau pour
le première phase de notre processus de conception. Cet exécutif doit reposer sur un intergiciel de
communication configurable et capable de prendre directement en charge les différents modèles de
répartition décrits en AADL. Cette approche permet de générer facilement une application répartie
tout en permettant la configuration de l’exécutif.
La structure d’un tel intergiciel de communication est en général complexe ; l’analyse de ses
dimensions spatiales et temporelles peut donc se révéler délicate. Nous avons donc intérêt à réduire
sa taille au strict minimum. Cela constitue la seconde étape de notre processus de conception, que
nous avons décrite en section IV-3, page 59.
Dans cette étape, nous considérons que la plupart des éléments de l’exécutif peuvent être
intégrés à l’application, dont ils constituent alors la partie basse. Les fonctionnalités de communication
fournies par l’exécutif AADL sont alors être elles-mêmes modélisées en AADL. Ainsi,
l’exécutif se retrouve être réduit à un ensemble minimal de composants qui gèrent l’ordonnancement
des threads système et prennent en charge les opérations de communication de base (telle
que la gestion des sockets si nous utilisons un réseau de type Internet).
VI-3.1 Expansion des threads AADL
Nous utilisons cette fois une bibliothèque de communication très primitive ; elle ne peut notamment
pas gérer les appels de sous-programme distant, ni même les messages avec file d’attente.
La mise en place de tous ces mécanismes seront donc décrits par des composants AADL.
Il en résulte que la description des threads AADL telle qu’elle a été faite dans la première phase
de modélisation ne peut pas être conservée ; les différents éléments d’interface correspondent en
effet à des concepts de trop haut niveau, qui ne sont pas pris en charge par un intergiciel de bas
niveau.
L’utilisation d’un exécutif bas niveau implique donc la transformation des threads AADL de
l’application ; cette transformation vise à supprimer les éléments d’interface des threads et à faire
apparaître les composants AADL correspondant à la modélisation de l’intergiciel de communication.
Les threads AADL ainsi transformés symbolisent l’exécutif de bas niveau, c’est-à-dire
l’ordonnanceur. Ce processus de transformation est illustré sur la figure VI.3.
sous-prog.
sous-prog.
processus
thread
tampons
sous-prog.
FIG. VI.3 – Expansion du threads AADL pour décrire l’intergiciel de communication en AADL
Le fait de supprimer les éléments d’interface des threads AADL implique que les communications
entre les nœuds de l’application ne sont plus modélisées. Par conséquent, nous n’avons plus
c○ 2007 Thomas Vergnaud 107