INF6263: Ingénierie des protocoles de communication

Ce document se trouve dans http://w3.uqo.ca/luigi/INF6263

Professeur: Luigi Logrippo

Description officielle du cours

NB : Ce cours s’appelait avant INF6001. Il est donc possible que vous trouverez parfois ce dernier sigle. Il est aussi malheureusement possible que vous trouverez des autres informations que j’ai oublié de réviser … Vous pouvez m’en faire un rappel cependant.

Index de cette page

Planches Powerpoint
Page des Projets
Sources Importantes

Autres Sources Électroniques

Préalables

Examen, Projet, Rapport


 

Figures powerpoint (toujours en élaboration!)

Description du cours, préalables, travaux, échéances, évaluation...
Problèmes fondamentaux
Chapitre 1: Généralités sur les protocoles
Chapitre 2: Modèles à états
Chapitre 3: Protocoles Liaison de données
Chapitre 4: Algèbres de processus et LOTOS, bisimulation
Chapitre 5: SDL et MSC
Chapitre 6: Réseaux de Petri et logique temporelle
Chapitre 7: Analyse de modèles (Model-checking)
Chapitre 8: Principes des tests des protocoles
Chapitre 9: Vers une méthodologie de développement des protocoles

Chapitre 10: Le traitement réparti ouvert (Open Distributed Processing)
        Quelques tutoriels ODP sont ici (voir section ODP tutorials)

Chapitre 11: Cas d'étude ou présentations d’étudiants, selon le temps disponoble: À déterminer

          

Sources importantes 

(Les sources dans cette liste et dans la liste suivante peuvent être des points de départ pour des projets)

Livres en bibliotèque

J. Akoka et I.Comyn-Wattiau (Coordonnateurs) : Encyclopédie de l’informatique et des systèmes d’information. Vuibert, 2006.  V. surtout le chapitre par C. Jard : Méthodes formelles pour l’ingénierie des protocoles (pp. 112-121). QA 76.15 E539. 2006 REF (ce livre se trouve dans le rayon : Référence)

G.J. Holzmann : The SPIN Model-Checker. Addison-Wesley, 2004

pour la partie du cours qui sera dédiée à la logique temporelle et à SPIN, pour des projets sur ce sujet

R. Lai, A. Jirachefpattana : Communication Protocol Specification and Verification. Kluwer, 1998

                             présentation avec examples de LOTOS et SDL et autres techniques, discussion d’outils et méthodes.

H. König : Protocol Engineering. Springer 2012.

un livre récent qui est semblable en approche à mon cours. Utile pour approfondir plusieurs sujets.

M. Popovic: Communication Protocol Engineering. Taylor and Francis, 2007

un texte un peu général, je ne l’utiliserai pas mais il pourra être utile pour des informations sur SDL ou MSC, pourrait aussi être utile comme source d’inspiration pour des projets

A. Tanenbaum: Réseaux, Prentice-Hall

un texte général sur les réseaux et les protocoles, pour ceux qui voudraient un rappel des concept et applications dans le domaine des réseaux; je l’utiliserai pour quelques examples.

Page Use Case Map (avec matériaux didactiques)

Autres sources électroniques (suggestions additionnelles seront appréciées, surtout matériaux en langue française)

Union Internationale des Télécommunications
International Telecommunications Union

International Engineering Consortium avec référence à matériaux didactiques

Base de connaissances en Télécom et Informatique

Grand dictionnaire terminologique du Québec

Préalables indispensables

Examen, Projet, Rapport

Examen

Il y aura à la fin un examen formel écrit de trois heures, à livre ouvert.  Toute la matière vue dans le cours, y inclus les présentations de vos collègues étudiants, sera matière d'examen.

Rapports

Le cours comporte des rapports et des présentations sur des sujets reliés à la matière du cours. Le choix du sujet sera fait en accord avec l’enseignant, qui tiendra compte de vos intérêts et de vos suggestions.

Le plagiat ne sera pas toléré ni dans les rapports ni dans les présentations, ceci est politique générale dans la recherche et aussi politique de l’université. Le rapport pourra évidemment contenir des citations d'articles consultés, figures prises du WWW, mais vos sources devront être soigneusement citées. Si vous devez citer des phrases provenant du travail d’autres, ces phrases devront être entre guillemets ou dans des blocs de texte clairement identifié. Le copier-coller massif ne sera pas accepté, même si vous en indiquerez la source. Vous devrez toujours récrire les concepts utilisant vos propres mots.

Rapport préliminaire (approx. 5 pages) 

Contenu:

 

·         titre et identification des auteurs

·         introduction et présentation du sujet, son importance

·         revue de la littérature et des sources que vous avez étudié jusqu’à date

·         discussion des sources, bibliographie, URLs

·         travaux futurs : discussion de ce que vous prévoyez faire pour compléter le travail

·         brève bibliographie

 

Pour chacun des éléments précédents, votre rapport devra contenir une section spécifique.

 

Ce rapport, avec les transparents de votre présentation, sera noté et la note sera une composante de la note du cours. Aussi, les matériaux soumis seront rendus disponibles à tous et l’évaluation de vos collègues sur votre travail sera une composante de votre note finale.

Rapport final

Contenu

Le rapport devra montrer une certaine maîtrise du sujet de recherche choisi.  Il pourra être basé sur un petit nombre de sources, et dans ce cas il devra montrer une bonne  compréhension de ces sources, ou il pourra être plus général et discuter les résultats de lectures dans une bibliographie plus vaste. Il devra avoir une composante d'originalité, évidemment pas du point de vue de nouveaux résultats de recherche, mais au moins du point de vue de la façon de présenter des faits connus, des nouveaux exemples, etc.

Pour être plus précis, le rapport devra inclure les éléments suivants, clairement identifiés :

·         Titre et identification des auteurs

·         Résumé

·         Introduction et intérêt du sujet, son importance

·         Revue de la littérature et sources consultées, évaluation de leur utilité

·         Présentation du sujet

·         Conclusions : synthèse, sommaire de ce que vous avez appris, perspectives

·         Bibliographie

Votre rapport contiendra une bonne discussion du sujet de recherche choisi, cherchant d’approximer le format et le style d'un article publié. Le rapport sera d’une longueur maximale de 12 pages pour les projets individuels et de 18 pages pour les projets à deux. Le format indiqué ci-dessous devra être utilisé. Je tiendrai évidemment compte de votre utilisation de l’espace : les figures devront être utilisées de manière sage et justifiée. P.ex. il ne sera pas apprécié si vous remplirez votre rapport de grandes figures, surtout si elles n’auront pas de justification précise. Si vous avez beaucoup d’illustrations (screen-shots ou autres) vous pourriez mettre les moins importants dans des appendices, au besoin ces dernières pourront dépasser les longueurs maximales mentionnées.

Format

Pour vous habituer aux principes de la publication scientifique, et aussi pour assurer une certaine uniformité de format, votre rapport devra être en format LNCS, en Word ou Latex, voir :

 http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

Les rapports seront fournis au professeur en format électronique lisible à tous: pdf, postscript, MSWord. Le professeur les organisera dans une page Web accessible à tous. SVP n'utilisez pas des formats ou des figures dispendieux en termes d'espace disque, de temps requis pour charger le document, etc.

Présentation en classe

Le rapport devra être présenté à la classe à la date communiquée par le prof, probablement au dernier cours. Cependant, pour permettre à tous les étudiants de se familiariser avec le contenu du travail pour l'examen, la présentation (format powerpoint ou pdf ou équivalent) devra être envoyée au prof avant les présentations. Le prof l'affichera de façon que tous puissent se préparer aux présentations.

Pour l'examen, les étudiants devront étudier ce que leurs collègues auront présenté en classe, mais ils ne seront pas responsables de connaître le contenu du rapport final.

Critères d’évaluation surtout pour le rapport final, mais aussi pour le préliminaire et pour les présentations