Etude de la concordance de comportement de deux reseaux de petri : application a la validation des protocoles: detection automatique des erreurs de conception

par ANNE ROUGER-BOURGUET

Thèse de doctorat en Sciences appliquées

Sous la direction de CLAUDE GIRAULT.

Soutenue en 1990

à Paris 6 .

    mots clés mots clés


  • Résumé

    Nous definissons dans cette these la concordance de comportement de deux reseaux de petri, vis-a-vis d'ensembles distingues de leurs places et de leurs transitions mis en correspondance. La concordance de comportement consiste a faire fonctionner ensemble les deux reseaux en les fusionnant selon les places et les transitions associees et a verifier qu'ils ne se perturbent pas l'un l'autre. L'ordre d'association des transitions, dans les sequences engendrees de chaque reseau, est ainsi respecte. Cette etude est directement applicable a la validation des protocoles. Le service fourni par un protocole est defini par l'enchainement des primitives de communication. Nous proposons une methode de validation basee sur une modelisation explicite du protocole et du service attendu, et examinons l'adequation des sequences de primitives de communication en verifiant la non-perturbance des deux modeles. Cette verification est entierement automatisee et l'outil que nous avons developpe donne directement les erreurs de conception du protocole. La methode est appliquee a deux exemples: l'un concerne une version du protocole d, cas monotrame. Cet exemple montre toute l'importance de la modelisation dans les phases preliminaires de propositions de normes. Le deuxieme exemple est un protocole de connexion-deconnexion qui donne une idee de l'extension de notre etude aux reseaux colores


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 69 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1990 675
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1990
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.