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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...