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
9 thread1 : thread thread_a.impl;
10 end processus_a.impl;
11
12 thread implementation thread_a.impl
13 calls
14 sequence : {appel1 : subprogram sp_a;
15 appel2 : subprogram sp_a;};
16 end thread_a.impl;
17
18 subprogram sp_a
19 end sp_a;
Listing III.2 – Structure interne des composants AADL
III-4 Les éléments d’interface
Les éléments d’interface (features) d’un composant sont déclarée dans son type. De cette façon,
toutes les implantations d’un type de composant offrent la même interface aux autres composants.
Il existe plusieurs sortes de features : les ports de communication, les sous-programmes
d’interface et les accès à sous-composants. Les déclarations de features peuvent n’être associées à
aucune déclaration de composant, permettant ainsi une modélisation très abstraite. Cependant, il
est nécessaire de préciser les composants associés afin de décrire une architecture exploitable pour
générer un système exécutable.
III-4.1 Les ports
Les ports correspondent à la principale façon de décrire les transmissions d’information entre
les composants. Ils sont déclarés en entrée, en sortie ou en entrée/sortie.
III-4.1.1 Ports simples
On distingue trois types de ports :
– les ports d’événement ;
– les ports de donnée ;
– les ports d’événement/donnée.
Les ports d’événement (event ports) correspondent à la transmission d’un signal. Ils peuvent
être assimilés aux signaux des systèmes d’exploitation. Ils peuvent également déclencher l’exécution
des threads.
Les ports de donnée (data ports) correspondent à la transmission de données. Contrairement
aux ports d’événements, ils ne déclenchent rien à la réception ; ils peuvent donc modéliser un
registre mémoire mis à jour de façon asynchrone.
Les ports d’événement/donnée (event data ports) sont la synthèse des deux premiers types de
ports : ils permettent de transporter des données tout en générant un événement à la réception ; ils
permettent donc de modéliser un message.
Les ports peuvent constituer les interfaces des composants concernés par les flux d’exécution :
threads, groupes de threads, processus, dispositifs, systèmes et processeurs. Dans le cas des sousprogrammes,
on parle de paramètres. Les paramètres ont une sémantique équivalente aux ports de
données ou d’événement/données.
34 c○ 2007 Thomas Vergnaud