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
Les threads AADL sont les éléments actifs de l’architecture. Pour rendre compte de cet aspect,
leur traduction en réseau de Petri fait apparaître un jeton représentant le contrôle d’exécution du
thread. Ce jeton de contrôle constitue le marquage initial d’une place associée au thread. La modélisation
du circuit du jeton de contrôle dépend de la politique de déclenchement du thread. Les
threads périodiques, apériodiques et sporadiques s’exécutent en boucle. Ils consomment donc leur
jeton de contrôle et le restituent dans la place initiale (figure VII.2(b)). Ces trois types de threads
se modélisent de la même façon alors qu’ils correspondent à des politiques de déclenchement différentes,
comme nous l’avons étudié au chapitre VI. Ceci est dû au fait que notre modélisation en
réseau de Petri ne tient pas compte des propriétés temporelles de l’architecture : nous ignorons
donc les situations dans lesquelles un thread devrait se déclencher alors que les données entrantes
ne sont pas disponibles.
Les threads s’exécutant en tâche de fond ne bouclent pas. Leur traduction en réseau de Petri ne
doit donc pas restituer le jeton de contrôle, qui est consommé définitivement (figure VII.2(c)). Pour
des raisons de régularité dans la représentation en réseau de Petri, tous les threads ont une structure
semblable ; la transition de retour des threads périodiques trouvera par ailleurs sa justification dans
la section VII-5.3.1.
La traduction d’une description AADL en réseau de Petri a pour objet l’analyse des flux de
données et d’exécution. Par conséquent, seuls les composants ayant un rôle dans ces flux doivent
apparaître.
Règle VII.7 (Traduction des processus et des systèmes)
Un processus ou un système contenant des sous-composants n’est pas traduit en réseau
de Petri. Seuls ses sous-composants sont transcrits dans le réseau de Petri. À l’inverse, un
processus ou un système dont l’implantation n’est pas spécifiée apparaît dans le réseau
de Petri, assimilé à un thread.
Le réseau de Petri correspondant à une architecture AADL de haut niveau est la mise à plat
de toutes les instances des threads, qui représentent les entités réellement impliquée dans les flux
d’exécution et de données.
Les processus et les systèmes sans sous-composants sont traduits dans le réseau de Petri. Dans
la mesure où aucune information n’est disponible quant à leur structure interne, nous pouvons
considérer qu’ils contiennent un thread ; nous les assimilons donc à ce thread supposé afin de les
intégrer dans la modélisation du flux d’exécution. De tels systèmes ou processus sont donc traduit
par un sous-réseau de Petri tel que représenté sur la figure VII.2(b).
VII-4.2 Traduction des connexions
Les connexions AADL se traduisent de différentes façon, selon leur nature. Nous traduisons les
connexions AADL représentant une transmission de données par des transitions. Contrairement
aux transitions des composants, ces transitions ne correspondent pas à une transformation des
données ; elles permettent simplement d’exprimer la coordination de la transmission des données.
Par rapport à ce que nous avons indiqué en section VII-4.1.2, nous considérons des connexions
directes entre les différentes entités de haut niveau de plus fine granularité – c’est-à-dire les threads
AADL ou les thread implicites correspondant aux processus ou aux systèmes. Comme les différents
composants englobants ne sont pas traduits par les construction en réseau de Petri, les
différents ports des composants sont considérés comme étant directement reliés par une seule
connexion, au lieu d’une suite de connexions point-à-point comme c’est le cas dans les descriptions
AADL.
128 c○ 2007 Thomas Vergnaud