Supports de cours

Conception de protocoles réseaux

1er semestre

Objectifs et contenu

Ce cours aborde les méthodes d'ingénierie propres à la conception de protocoles réseaux: écriture de machines à états finies étendues, déroulement des machines à état sur un diagramme temps séquence, spécification des formats de messages, sérialisation et implémentation d'un protocole sous forme de couches de services. Par les méthodes pré-citées, différentes techniques classiques de récupération d'erreurs réseaux telles que les pertes ou la corruption de paquets sont résolues de manière systématique.

  • Acquérir les bases de la conception de protocole de communications, indépendament du niveau OSI.
  • Mettre en œuvre les méthodes pour implémenter et spécifier un protocole réseau se basant sur les propriétés du service réseau à offrir et des services déjà disponibles.
  • Bibliographie et Documentation

    Modélisation/Design de protocoles

    Cyclical Redundancy Checks

    Spin

    Serialisation ASN.1 DER/BER

    Supports de cours

    1. Introduction et outils de modélisations formelle

    1. Introduction à la modélisation de protocoles [src]
    2. Le langage Promela (voir chapitre 5 de G.Holzmann mais aussi les excellents slides de P. Trentin içi et )

    2. Conception informelle d'une couche transport fiable depuis zéro

    1. Informal model of a simple lock step protocol [src]
    2. [src] Error detection (part 1) [src]
    3. [src] Error detection (part 2), loss and duplicate recovery [src]
    4. ABP protocol and pipeline [src]
    5. Sliding window and Go back N [src]
    6. Selective_repeat [src]

    3. Exemple de sérialisation avec Lightweight Directory Access Protocol (LDAP)

    1. Abstract Syntax Notation #1 (ASN.1) and Basic Encoding Rules (BER) [src]
    2. Spécification ASN.1 des messages LDAP [src]
    3. LDAP : Exemple de décodage de messages
    4. LDAP : Modèle de données, espace de nommage et protocole [src]

    Exercices pratiques

  • TP1, introduction à Promela
  • TP2, Tiny Automata Verification
  • Mini-projet

  • Les horloges de Lamport théorie 1 2
  • Les horloges de Lamport, modélisation proméla
  • Sujet d'examen type

  • reseau_exam_janvier2014_chapitre1.pdf
  • Divers

  • Inscription mattermost