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
IV-5.3 Description des modèles de répartition
Les modèles de distribution sont décrits par les éléments d’interface fournis par les threads
AADL. La modélisation fait apparaître une distinction entre les threads qui reçoivent et ceux
qui envoient les données. La politique de déclenchement d’un thread récepteur est typiquement
apériodique ; ils sont alors déclenchés à la réception de données. La politique de déclenchement
des threads émetteurs est en général périodique ou sporadique.
IV-5.3.1 Passage de message
Les architectures basées sur une communication par passage de messages sont traduites par
la présence de ports associés aux threads AADL. Nous pouvons considérer les trois catégories de
ports (événement, donnée, événement/donnée) ; chacune d’elles correspond à un certain type de
message.
Typiquement, un message apporte deux informations : la donnée effectivement transportée
et le fait que le thread doit être activé. Ce genre d’information correspond aux ports d’événement/donnée.
Ces ports permettent de modéliser la gestion de messages synchrones qui peuvent
déclencher le thread récepteur. La plupart des applications basées sur le passage de messages sont
donc modélisées à l’aide de ces ports.
Les ports de donnée permettent de modéliser les communications asynchrones. Dans cette situation,
le message ne déclenche le thread récepteur ; la politique de déclenchement associée est
a priori périodique ou sporadique. Cependant, le thread récepteur peut être déclaré apériodique si
l’application utilise par ailleurs des ports d’événement/donnée. Dans ce cas, le thread sera déclenché
à l’arrivée du message synchrone et lira les données sur tous les ports.
Les ports d’événement permettent de modéliser la transmission d’un signal simple entre deux
nœuds, sans aucune donnée. Ce genre de port permet par exemple de modéliser la transmission
d’un signal d’interruption (par exemple. un top d’horloge). Les threads offrant des ports d’événement
en entrée sont typiquement apériodiques, étant donné que le seul usage d’un port d’événement
est le déclenchement de threads.
Spécification IV.2 (Communications par passage de message)
Les ports d’événement/donnée permettent de modéliser une architecture basée sur le
passage de messages. Les ports de donnée permettent de modéliser des transmissions de
données asynchrones.
Le listing IV.10 donne un exemple d’architecture AADL modélisant un client pouvant envoyer
des messages à un serveur.
1 thread a_client
2 features
3 out_msg : out event data port;
4 end a_client;
5
6 thread implementation a_client.impl
7 properties
8 dispatch_protocol => periodic;
9 period => 10 s;
10 end a_client.impl;
11
12 thread a_server
13 features
66 c○ 2007 Thomas Vergnaud