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
VI-1.1 Sémantique des threads AADL
L’intergiciel d’exécution est symbolisé par les threads AADL, et doit donc fournir les fonctionnalités
correspondant à la sémantique de ces composants. Ces fonctionnalités correspondent à
deux grandes catégories de services :
– la gestion des fils d’exécution ;
– la gestion des communications.
La gestion de l’exécution des composants peut se reposer sur une bibliothèque de threads
systèmes fournie par l’exécutif. Nous considérons que chaque thread AADL représente une entité
autonome gérée par l’exécutif. Cette correspondance permet de transposer les constructions
AADL en terme de ressources système effectivement nécessaires.
VI-1.1.1 Contrôle de l’application
Le standard AADL définit quatre politiques de déclenchement pour les threads, spécifiées par
la propriété AADL standard Dispatch_Protocol :
– périodique ;
– apériodique ;
– sporadique ;
– tâche de fond.
Un thread périodique est déclenché régulièrement, selon la période indiquée par la propriété
standard Period. Un thread apériodique est déclenché par les données arrivant sur un port de
donnée/événement déclencheur ou l’appel de l’un des sous-programmes dont il fournit l’accès.
Un thread sporadique se comporte comme un thread apériodique, mais ne peut se déclencher
avant le délai spécifié par la propriété Period. Enfin, un thread en tâche de fond n’est déclenché
qu’au lancement du système.
VI-1.1.2 Prise en charge des communications
Les communications sont typiquement assurées par un intergiciel de communication configurable.
En section IV-5, page 65, nous avons défini des patrons architecturaux pour représenter
différents modèles de répartition, représentés par les interfaces des threads AADL : le passage de
message, l’appel de sous-programme distant et de méthodes d’objets répartis.
La bibliothèque de communication fournie par l’exécutif doit être capable de prendre en charge
ces trois paradigmes. Pour cela, nous interprétons les éléments d’interface comme des requêtes.
Spécification VI.1 (Sémantique des éléments d’interface)
Chaque élément d’interface d’un thread AADL est traduit par une requête au niveau de
l’intergiciel. Les données associées à l’élément d’interface constituent les paramètres de
la requête.
La structure des requêtes est la suivante :
– les ports sont traduits par une requête à sens unique (correspondant à un message, ou une
interface oneway CORBA) dont l’unique paramètre correspond à la donnée associée au
port ;
– les sous-programmes fournis en interface correspondent à une requête/réponse dont les paramètres
correspondent aux paramètres du sous-programme (noms et types).
100 c○ 2007 Thomas Vergnaud