Réseaux de Petri temporisés stochastiques classiques et bien formés. Définition, analyse et application aux systèmes distribués temps réel

par Youcef Atamna

Thèse de doctorat en Informatique industrielle

Sous la direction de G. JUANDE.

Soutenue en 1994

à Toulouse 3 .


  • Pas de résumé disponible.


  • Abstract

    Cette these s'inscrit dans le cadre general de l'utilisation de techniques de specification formelle lors de la phase de conception de systemes logiciels et materiels. Plus precisement, l'objectif est de definir, developper et appliquer un modele formel, base sur les reseaux de petri, permettant la modelisation et des analyses, a la fois qualitatives et quantitatives, des systemes informatiques distribues temps reel. Les principales contributions de cette these concernent: ? definition du modele reseaux de petri temporises stochastiques (rdpts) qui permet d'exprimer sans contraintes, des combinaisons d'une grande variete de distributions temporelles. La methodologie d'exploitation de ce modele, transparente aux types de distributions, est une methode approchee (concept de temps moyen conditionnel de sejour) basee sur la construction de l'objet graphe d'etats probabilise, qui definit un cadre unique permettant a la fois des analyses qualitatives et quantitatives, ? definition d'une methodologie d'obtention automatique de vues abstraites quantifiees de graphes d'etats probabilises ; elle a ete egalement etendue aux graphes d'etats temporises, ? definition du modele reseaux colores temporises stochastiques bien formes qui combine le pouvoir d'expression temporelle du modele rdpts avec le pouvoir de representation concise et structuree du modele reseaux colores bien formes. L'analyse de ce modele est basee sur la construction directe et automatique de l'objet graphe d'etats probabilise symbolique, qui possede la propriete dite agregation-desagregation de toute premiere importance pour optimiser la resolution de systemes de grande taille, ? conception et developpement de l'outil logiciel rpts base sur le modele reseaux de petri temporises stochastiques, ainsi que l'application de ce modele a la modelisation, la verification des proprietes et l'evaluation de performances des protocoles de communication temps reel

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : iv-156 f

Où se trouve cette thèse ?

  • Library : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : G-ATA
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1994TOU30095
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.