Université du Québec en Outaouais Département d'informatique et d'ingénierie
Sigle : INF6001  Gr. 01
Titre : Ingénierie des protocoles de communication
Session : Hiver 2012  Horaire et local
Professeur : Logrippo, Luigi
1. Description du cours paraissant à l'annuaire :

Objectifs

Permettre à l'étudiant de comprendre le processus de développement des protocoles de communication. Lui permettre de maîtriser les techniques de spécification et de validation de protocoles.

Contenu

Fonctions des protocoles de communication. Contrôle d'erreur. Contrôle de flux. Gestion des connexions. Fragmentation et assemblage des messages. Encapsulation. Standards. Spécification des protocoles : méthodes basées sur les automates, les processus, etc. Introduction aux langages de spécification. Implantation des protocoles de communication. Architecture d'une entité de protocole : modules, interaction, horloges, etc. Méthodes de test des protocoles de communication. Méthodes et stratégies de validation : arbre d'accessibilité, équivalences observationnelles, etc. Éléments communs de service. Environnement de validation (Promela, Spin, Aldebaran).
2. Objectifs spécifiques du cours :
À terme, l'étudiant(e) doit être au fait des problématiques liées au domaine des protocoles de télécommunication et être capable de maîtriser le processus de développement de ces protocoles en utilisant des techniques formelles de spécification et de validation.
3. Stratégies pédagogiques :
Ce cours est donné principalement sous forme magistrale, parsemé d'exercices de compréhension. Il y aura des projets et des présentations d'étudiants.
4. Heures de disponibilité ou modalités pour rendez-vous :
Pour obtenir un rendez-vous, envoyez un courriel.
5. Plan détaillé du cours sur NaN semaines :
Semaine Thèmes Dates
1   
  • Généralités sur les protocoles de communication.
  • Cycle de développement.
  • Encapsulation, modèles à couches.
  • Concept de service.
  • Fragmentation et assemblage de messages.
  • Communication avec et sans connexion.
  • Le monde de la normalisation.
09 jan. 2012 
2   
  • Modèles de communication synchrones et asynchrones.
  • Modèles à états, finis et infinis.
  • Files finies et infinies.
  • États globaux et locaux, arbres d'accessibilité.
  • Équivalence d'états.
  • Modèles de conception et validation basés sur les états.
  • Failles : Impasses et réceptions non spécifiées.
  • Explosion d'états.
16 jan. 2012 
3   
  • Pertes de messages, détection d'erreurs.
  • Protocoles de la couche liaison de données : bit alterné, fenêtre glissante.
  • Contrôle d'erreur et contrôle de flux.
23 jan. 2012 
4   
  • Algèbres de processus : CCS, CSP, LOTOS.
  • Systèmes de transitions étiquetés.
  • Équivalence observationnelle, Non déterminisme.
  • Outil Aldébaran.
30 jan. 2012 
5   
  • Modèles à états finis étendus.
  • Langage SDL.
  • Outils SDL.
  • Message Sequence Charts.
06 fév. 2012 
6   
  • Réseaux de Petri.
  • Logique temporelle linéaire et logique temporelle à branchements.
13 fév. 2012 
7   
  • Automates de Büchi et logique temporelle.
  • Environnement Promela-SPIN.
20 fév. 2012 
8   
  • Présentations préliminaires projets étudiants.
27 fév. 2012 
9   
    Semaine d'études
05 mars 2012 
10   
  • Principes de test de protocoles.
  • Tests de conformance.
  • Langages de test : TTCN.
  • Principes de génération de tests à partir de machines à états.
  • Tours de transitions, séquences d'identification d'états.
12 mars 2012 
11   
  • Architectures de test
  • Use Case Maps et génération automatique de protocoles à partir d'UCMs.
19 mars 2012 
12   
  • Modèle "Open Distributed Processing"
  • .
  • "Model Driven Architecture".
  • Modèle de l'"Object Management Group".
26 mars 2012 
13   
  • Présentations orales de projets d'étudiants.
02 avr. 2012 
14   
    Jour férié - Lundi de Pâques
09 avr. 2012 
15   
    Examen final.
16 avr. 2012 
6. Évaluation du cours :

L'évaluation est l'appréciation du niveau d'apprentissage atteint par l'étudiant par rapport aux objectifs des cours et des programmes.

Dans le cas spécifique du cours Ingénierie des protocoles de communication l'attribution des notes se fera selon la répartition suivante:
  • Devoirs théoriques : 10 %
  • Examen final : 40 %
  • Projet, rapport et présentation : 50 %
7. Politiques départementales et institutionnelles :
8. Principales références :
  1. Gerard J. Holzmann, The SPIN Model Checker, Addison-Wesley, 2003. ISBN 0-321-22862-6. En réserve à la bibliothèque.
  2. Gerard J. Holzmann, Design and Validation of Computer Protocol, Prentice Hall, New Jersey, 1991, ISBN 0-13-539925-4. Disponible sous forme électronique sur le site web de l'auteur.
  3. Notes de cours fournies par le professeur. Articles et normes dans le site Web du cours.
  4. Ressources Web.
9. Page Web du cours :
https://moodle.uqo.ca