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 pour la ...
Modélisation des systèmes temps-réel répartis embarqués pour la ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
donnee<br />
(a) donnée<br />
<strong>Modélisation</strong> <strong>des</strong> <strong>systèmes</strong> <strong>temps</strong>-<strong>réel</strong> <strong>répartis</strong> <strong>embarqués</strong><br />
Control<br />
<br />
<br />
<br />
<br />
<br />
e_1<br />
e_2<br />
thread<br />
s_1<br />
(b) thread périodique, apériodique<br />
ou sporadique<br />
Control<br />
<br />
<br />
<br />
e_1<br />
e_2<br />
thread<br />
s_1<br />
(c) thread en tâche de<br />
fond<br />
FIG. VII.2 – <strong>Modélisation</strong> en réseaux de Petri de composants AADLi, décrit au listing VII.1<br />
1 data donnee<br />
2 end donnee;<br />
3<br />
4 thread thread1<br />
5 features<br />
6 e_1 : in data port;<br />
7 e_2 : in event data port;<br />
8 s_1 : out data port;<br />
9 properties<br />
10 Dispatch_Protocol => perdiodic;<br />
11 end thread1;<br />
12<br />
13 thread thread2<br />
14 features<br />
15 e_1 : in data port;<br />
16 e_2 : in event data port;<br />
17 s_1 : out data port;<br />
18 properties<br />
19 Dispatch_Protocol => background;<br />
20 end thread2;<br />
Listing VII.1 – Exemples de déc<strong>la</strong>rations de composants AADL, traduites en réseaux de Petri sur<br />
<strong>la</strong> figure VII.2<br />
VII-4.1.1 Traduction <strong>des</strong> composants de donnée<br />
Nous distinguons les composants de données <strong>des</strong> autres composants logiciels.<br />
Règle VII.4 (Traduction <strong>des</strong> composants de donnée)<br />
Une instance de composant de donnée est traduite par une p<strong>la</strong>ce.<br />
Nous sommes ainsi cohérents avec <strong>la</strong> règle VII.1 : un composant de donnée ne donne pas lieu<br />
à une opération de traitement et ne peut donc pas contenir de transition.<br />
Les déc<strong>la</strong>rations de composant de donnée AADL ne sont pas traduites dans le réseau, puisque<br />
celui-ci ne rend compte que <strong>des</strong> entités instanciées. Par ailleurs, contrairement à <strong>la</strong> traduction en<br />
<strong>la</strong>ngage de programmation, nous ne nous intéressons pas à <strong>la</strong> sémantique <strong>des</strong> données : toutes<br />
les déc<strong>la</strong>rations de données sont donc considérées équivalentes vis-à-vis <strong>des</strong> flux d’exécution. La<br />
vérification de <strong>la</strong> cohérence <strong>des</strong> types doit être réalisée par ailleurs.<br />
126 c○ 2007 Thomas Vergnaud