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.17 (Agencement des séquences de traitement des paramètres)
L’agencement des différentes séquences « normales » au sein d’un sous-programme ou
d’un thread appelé composant est coordonné par deux transitions composant_begin et
composant_end.
Ces deux transitions sont organisées comme des connexions de paramètres. La transition
composant_begin synchronise les jetons des données entrant dans l’entité et le jeton de
contrôle du thread correspondant. Les jetons consommés sont stockés dans des places
correspondant à chaque jeton de paramètre et au jeton de contrôle – cette dernière place
est nommé composant_c_begin. Toutes ces places sont reliées aux transitions seq_begin
de chaque séquence seq.
Chaque transition seq_end envoie les jetons issus de la séquence seq dans des places
correspondantes. Elles envoient le jeton de contrôle dans une place composant_c_end.
Elle est construite comme une transition de connexion de paramètre.
Les différentes places correspondant aux paramètres de fin de séquence sont reliées à
la transition composant_end. La place composant_c_end associée au jeton de contrôle
est reliée à la fois à la transition composant_end et à la place composant_c_begin par
l’intermédiaire d’une transition.
Comme les autres, la transition composant_end est structurée comme une transition de
connexion de paramètre. Les jetons consommés sont envoyés vers les places correspondant
aux données de sortie de l’entité. Le jeton de contrôle est envoyé vers la place de
sortie du jeton de contrôle.
Ces différentes constructions de places et de transition permettent de recueillir les différentes
données entrantes de l’entité, d’exécuter les différentes séquences d’appel possibles dans un ordre
quelconque avec répétition puis de renvoyer le jeton de contrôle à l’extérieur du thread ou du
sous-programme.
L’aspect essentiel de cet assemblage est de mettre en place deux chemins possibles pour
le jeton de contrôle. Celui-ci peut traverser plusieurs fois les séquences s’il est orienté vers la
place composant_c_begin à partir de la place composant_c_end. L’exécution des séquences s’arrête
lorsque le jeton de contrôle est consommé par la transition composant_end ; cette transition ne
peut être déclenchée que si toutes les places des paramètres de sortie des séquences contiennent
un jeton de valeur définie d.
Nous modélisons ainsi le fait qu’il existe plusieurs scénarios d’exécution correcte d’un sousprogramme
(ou d’un thread) ; tous ces scénarios correspondent à l’exécution des différentes séquences
dans un ordre quelconque avec répétitions possibles, aboutissant à la définition d’une
valeur valide pour chaque paramètre de sortie du sous-programme ou du thread. La figure VII.7
fournit un exemple complet comprenant deux séquences d’appels, repérées par des zones grisées.
Séquences des sous-programmes distants
La traduction des séquences des sous-programmes distants est plus simple.
Règle VII.18 (Agencement des séquences des appels distants)
L’agencement des différentes séquences d’un thread appelé composant correspondant
aux appels distants est constitué de ces différentes séquences. La transition seq_begin
de chaque séquence seq consomme le jeton du thread. La transition seq_end de la fin de
la séquence envoie le jeton de contrôle sur la place de sortie du thread.
136 c○ 2007 Thomas Vergnaud