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

Objectifs

Permettre aux étudiants de comprendre les concepts des processus d'ingénierie, de conception formelle, de validation et test des protocoles de communication.

Contenu

Fonctions des protocoles de communication. Modèles à couches : protocoles et services. Contrôle d'erreur. Contrôle de flux. Gestion des connexions. Spécification formelle des protocoles de communication. Validation des protocoles de communication. Techniques à états finis et algébriques : analyse d'accessibilité, équivalence par test, équivalence observationnelle, etc. Évaluation de modèles. Méthodes de test. Étude de quelques langages formels ou semi-formels tel que : CCS. Pi-Calculus, LOTOS, PROMELA, SDL, UML. Application avec outils, comme SPIN, CADP, ALLOY, etc.
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. 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 : luigi@uqo.ca
5. Plan détaillé du cours sur 15 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 sept. 2015 
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 sept. 2015 
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 sept. 2015 
4   
  • Algèbres de processus : LOTOS, CCS, CSP.
  • Systèmes de transitions étiquetés.
  • Non déterminisme. Équivalence observationnelle.
 30 sept. 2015 
5   
  • Modèles à états finis étendus.
  • Langage SDL.
  • Outils SDL.
  • Message Sequence Charts.
 07 oct. 2015 
6   
  • Semaine d'études
 14 oct. 2015 
7   
  • Présentations préliminaires de projets d'étudiants
 21 oct. 2015 
8   
  • Réseaux de Petri.
  • Logique temporelle linéaire et logique temporelle à branchements.
 28 oct. 2015 
9   
  • Automates de Büchi et logique temporelle.
  • Environnement Promela-SPIN.
 04 nov. 2015 
10   
  • Principes de test de protocoles.
  • Tests de conformité.
  • Langages de test : TTCN.
  • Principes de génération de tests à partir de machines à états.
  • Tours de transitions, séquences d'identification d'états.
 11 nov. 2015 
11   
  • Architectures de test.
  • Use Case Maps et génération automatique de protocoles à partir d'UCMs.
 18 nov. 2015 
12   
  • Modèle "Open Distributed Processing".
  • "Model Driven Architecture".
  • Modèle de l'"Object Management Group".
 25 nov. 2015 
13   
  • Présentations orales de projets d’étudiants ou matériaux supplémentaires
 02 déc. 2015 
14   
  • Présentations orales de projets d'étudiants.
 09 déc. 2015 
15   
  • Examen final.
 16 déc. 2015 
6. Évaluation du cours :
  • 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. Hartmut König : Protocol Engineering. Springer, 2012. 2. Notes de cours dans les pages web ci-dessous. 3. Plusieurs références seront données dans les notes de cours.
9. Page Web du cours :
https://moodle.uqo.ca http://w3.uqo.ca/luigi/INF6263/