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

Modélisation des systèmes temps-réel répartis embarqués
pouvoir être configuré afin de fournir les fonctions nécessaires en terme de nombre de threads système
tout en garantissant les performances requises par l’architecture, énoncées comme propriétés
des threads AADL.
VI-2.1 Organisation de l’interface avec l’intergiciel
L’interface avec l’intergiciel doit pouvoir contrôler l’enveloppe applicative générée à partir des
sous-programmes AADL (cf. chapitre V) selon les deux fonctionnalités que nous avons identifiées
en section VI-1.1. Elle doit donc remplir deux fonctions :
– prendre en charge les requêtes entrantes à destination des entités matérialisant les threads
AADL ;
– exécuter ces entités en fonction des politiques de déclenchement spécifiées dans la description
AADL.
La réception des requêtes correspondant aux ports d’événement/donnée et aux sous-programmes
invoqués à distance doit déclencher l’exécution de l’enveloppe applicative. Les données associées
aux requêtes correspondant aux ports de donnée doivent être mémorisées en attendant les
conditions de déclenchement du thread AADL – arrivée d’une requête associée à un port d’événement/donnée
ou échéance de la période de déclenchement du thread. Il est donc nécessaire de
séparer le traitement des données associées aux requêtes et le mécanisme de déclenchement de
l’application. La figure VI.1 illustre l’architecture que nous avons définie pour la couche d’interface.
interface avec l'intergiciel
entité servante
de l'intergiciel
1
2
élément de l'enveloppe
applicative
3
tampon de
données
4
cœur de l'intergiciel
5 6
contrôleur
7
3
échéancier
FIG. VI.1 – Organisation de l’interface avec l’intergiciel
Définition VI.3 (Prise en charge des threads AADL)
Chaque thread AADL correspond à une entité servante dans l’intergiciel.
Chaque thread AADL correspond à une instance de l’architecture représentée en figure VI.1.
L’entité servante correspond à une entité de base gérée par l’intergiciel, par exemple un servant
si l’intergiciel est un ORB CORBA ; elle est enregistrée auprès de l’intergiciel, et reçoit toutes
les requêtes correspondant aux éléments d’interface du thread AADL qu’elle représente. Chaque
102 c○ 2007 Thomas Vergnaud