Etude de la resynchronisation d'un protocole de communication - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques Année : 1987

Etude de la resynchronisation d'un protocole de communication

Résumé

Nous proposons dans cet article une démarche originale de modélisation écartant l'analyse exhaustive des mécanismes internes mis en oeuvre au profit d'une construction méthodique d'abstractions permettant l'intégration des différentes fonctionnalités du système étudié. Cette méthode exhibe les propriétés du modèle et permet de valider fonctionnellement les propriétés du système. Elle est particulièrement adaptée à l'étude des systèmes structurés en couches hiérarchiques, elle découle directement des travaux de normalisation des protocoles de communications. Nous appliquons cette démarche à la modélisation au moyen de réseaux de Petri, des services offerts par la couche Réseau lors de la phase de transfert de données. Plus particulièrement nous étudions le mécanisme de resynchronisation de la transmission chargé de traiter la perte de paquets de données consécutive à la panne d'une station.
Fichier principal
Vignette du fichier
TSI87.word.pdf (252.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01183971 , version 1 (05-03-2018)

Identifiants

  • HAL Id : hal-01183971 , version 1

Citer

Bernard Cousin, Pascal Estraillier. Etude de la resynchronisation d'un protocole de communication. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1987, 6 (3), pp.243-253. ⟨hal-01183971⟩
41 Consultations
16 Téléchargements

Partager

Gmail Facebook X LinkedIn More