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
Règle VII.14 (Traduction des appels de sous-programme distant)
Un appel de sous-programme distant est modélisé comme un appel de sous-programme
local en ajoutant une paire de places de contrôle ; ces places correspondent au thread
fournissant le sous-programme.
Un appel de sous-programme distant possède donc deux places d’entrée pour les jetons de
contrôle : l’une correspondant au jeton de contrôle du thread local, l’autre recevant le jeton de
contrôle du thread distant.
VII-5.2.1 Modélisation des connexions des paramètres
Les connexions de paramètres doivent laisser les jetons de donnée à la disposition d’éventuelles
autres connexions.
Règle VII.15 (Traduction des connexions de paramètres)
L’ensemble des connexions dirigée vers un appel de sous-programme donné est traduit
par une unique transition. Cette transition consomme et réinjecte les jetons issus des
places correspondant aux paramètres de sortie des appels de sous-programme situés en
amont dans la séquence d’appels. Elle consomme également le jeton de contrôle destiné
à l’appel de sous-programme.
Elle distribue l’ensemble de ces jetons aux places d’entrée du sous-programme.
De la même façon que les connexions de ports de donnée, les connexions de paramètres
consomment et réinjectent les jetons de donnée. Elles centralisent l’ensemble des jetons destinés
au sous-programme destinataire. Cette synchronisation permet de limiter les états possibles
au sein du réseau de Petri. En effet, dans la mesure où la transition d’une connexion consomme
et réinjecte les jetons issus des places de sortie des sous-programmes amonts, il est nécessaire de
synchroniser leur déclenchement avec le jeton de contrôle d’exécution, qui est consommé normalement.
Nous évitons ainsi la création d’états artificiels liés au fait qu’une transition réinjectant le
jeton consommé peut toujours être déclenchée.
Class
Value is ["u", "d"];
Control is 1 .. 1;
Var
v, v2 in Value;
c in Control;
Value
sp1_e
1
Control
sp1_c_e
sp1
sp1_s
Value
sp1_c_s
Control
sp1_sp2
sp2_e
Value
[v u]
sp2_c_e
Control
sp2
sp2_s
sp2_c_s
Value
Control
FIG. VII.6 – Réseau de Petri d’une connexion entre deux sous-programmes
Le réseau de Petri de la figure VII.6 illustre une connexion entre deux sous-programmes (sp1
et sp2) d’une même sequence d’appels.
134 c○ 2007 Thomas Vergnaud