Modèles composables et concurrents pour le temps-réel

Résumé : Cette thèse traite de la modélisation des systèmes temps-réel à l'aide
de réseaux de Petri. Nous considérons séparément la question de
représentation du temps et celle de la préemption (interruption des
processus d'un système) qui est d'un usage courant pour les
applications temps-réel.

Nous utilisons des réseaux de Petri sans extension par des
informations concernant le temps. Notre approche consiste alors à
introduire le temps par des sous-réseaux spécifiques représentant les
horloges du système modélisé. Le résultat est appelé temps
causal puisque seule la causalité définit la relation de précédence
entre les occurrences des événements. Afin d'obtenir une formulation
élégante de l'approche causale du temps, nous utilisons le modèle des
M-nets, une classe de réseaux de Petri colorés composables à la
manière des algèbres de processus. Nous étendons ce modèle de façon à
permettre la représentation efficace des communications asynchrones
entre processus et les bases théoriques liées à cette extension sont
revisitées et mises à jour. Nous utilisons les M-nets ainsi étendus
pour modéliser plusieurs horloges aux fonctionnalités différentes.
Nous montrons comment des systèmes à plusieurs horloges, synchronisées
ou non, peuvent être assez simplement obtenus. La pertinence de notre
approche est évaluée par une étude de cas et appliquée à la sémantique
d'une extension d'un langage de programmation parallèle, appelé
B(PN)², par des instructions liées au temps.

Pour introduire la préemption nous proposons une nouvelle extension
des M-nets avec des opérations permettant la suspension/reprise et
l'avortement. Le modèle obtenu est étudié sur le plan théorique et
appliqué à l'extension de la sémantique de B(PN)² par des exceptions
et un système de tâches.
Type de document :
Thèse
Modélisation et simulation. Université Paris 12, 2002. Français
Liste complète des métadonnées

Littérature citée [113 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00114680
Contributeur : Franck Pommereau <>
Soumis le : vendredi 17 novembre 2006 - 13:38:40
Dernière modification le : jeudi 13 décembre 2018 - 09:46:03
Document(s) archivé(s) le : mardi 6 avril 2010 - 19:42:06

Identifiants

  • HAL Id : tel-00114680, version 1

Collections

Citation

Franck Pommereau. Modèles composables et concurrents pour le temps-réel. Modélisation et simulation. Université Paris 12, 2002. Français. 〈tel-00114680〉

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

494