Modélisation de protocoles : application à la couche liaison de données de F.I.P - Université de Lorraine Accéder directement au contenu
Thèse Année : 1992

Protocols modeling : application to the data link layer of F.I.P

Modélisation de protocoles : application à la couche liaison de données de F.I.P

Gérard Garnier
  • Fonction : Auteur
  • PersonId : 787751
  • IdRef : 156671409

Résumé

Not available
Les architectures multicouches de protocoles et de services, basées sur le modèle de référence de l'O.S.I. (open systems interconnection) font appel à de nombreux et complexes mécanismes dont il est absolument nécessaire de spécifier le comportement de manière complète et non ambigüe. Seule une approche fondée sur une technique de description formelle permet de satisfaire à cet objectif. L'utilisation d'une telle approche permet en outre d'effectuer une majorité des vérifications et validations, au cours de l'élaboration même d'un cahier des charges ou de la conception d'un système. En conséquence, le premier chapitre de ce mémoire, après un bref rappel de la terminologie définie dans le modèle O.S.I., expose une synthèse des techniques de description formelle, applicables aux protocoles et services I.S.O. (international standard organization). Le deuxième chapitre est consacré à la définition d'un outil de spécification, pour la modélisation des protocoles, à partir du grafcet et de concepts et possibilités d'expression provenant des langages informatiques. L'objectif du troisième chapitre est d'illustrer l'utilisation de l'outil proposé dans le chapitre précédent, de manière à montrer son applicabilité à la description formelle de protocoles. L'exemple choisi est la couche liaison de données du bus de terrain F.I.P. (flux information processus). La conclusion de ce mémoire porte sur l'avenir de l'outil proposé ainsi que sur les extensions dont il doit bénéficier
Fichier non déposé

Dates et versions

tel-01748051 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01748051 , version 1

Accès intranet

Citer

Gérard Garnier. Modélisation de protocoles : application à la couche liaison de données de F.I.P. Autre. Université Henri Poincaré - Nancy 1, 1992. Français. ⟨NNT : 1992NAN10308⟩. ⟨tel-01748051⟩
34 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More