Le modèle réseaux de Petri temporisés stochastiques: extensions et applications

Résumé : Cette thèse s'inscrit dans le cadre général de l'utilisation des techniques formelles lors de la phase conceptuelle des systèmes distribués temps-réel, et concerne plus précisément l'extension des pouvoirs d'expression et d'analyse du modèle Réseaux de Petri Temporisés Stochastiques. Ce modèle, qui appartient à la classe des Réseaux de Petri Stochastiques, associe à chaque transition un intervalle de temps, et une distribution de probabilité sur cet intervalle (ceci permet de représenter des caractéristiques temporelles variées et en particulier des contraintes) En ce qui concerne le pouvoir d'expression, nous avons introduit, d'une part, la notion de mémoire temporelle de toutes les sensibilisations (ceci est important pour l'étude des phénomènes de préemption que l'on rencontre dans des algorithmes d'ordonnancement et dans des problèmes de sûreté de fonctionnement) et, d'autre part, plusieurs règles de tir de transitions (en particulier les règles MIN et MAX qui permettent des études des cas pires, aspect important dans les systèmes temps-réels). Les graphes ainsi obtenus ont été également situés par rapport à la référence comportementale que constitue le graphe des classes d'états (obtenu à partir des Réseaux de Petri Temporels). En ce qui concerne le pouvoir d'analyse, nous avons défini le concept d'automate quotient quantifié (concept basé, à la fois, sur la relation d'équivalence de Milner et les règles de réduction de Beizer), qui a deux qualités importantes : il permet, d'une part, d'obtenir des modèles, à la fois qualitatifs et quantitatifs de services de communication ; et, d'autre part, de contrôler les dimensions des modèles à traiter lors de la modélisation d'architectures de communication multicouches. Ce modèle a été appliqué à un exemple industriel, le protocole embarqué temps-réel ARINC 629 CP. L'étude faite a mis en évidence les propriétés temps-réel et de tolérance aux pannes de ce protocole.
Type de document :
Thèse
Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1997. Français


https://tel.archives-ouvertes.fr/tel-00132834
Contributeur : Emilie Marchand <>
Soumis le : jeudi 22 février 2007 - 16:31:08
Dernière modification le : jeudi 22 septembre 2016 - 15:51:50
Document(s) archivé(s) le : samedi 14 mai 2011 - 02:29:26

Identifiants

  • HAL Id : tel-00132834, version 1

Collections

Citation

Laurent Gallon. Le modèle réseaux de Petri temporisés stochastiques: extensions et applications. Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 1997. Français. <tel-00132834>

Exporter

Partager

Métriques

Consultations de
la notice

294

Téléchargements du document

150