Ce document se trouve dans http://w3.uqo.ca/luigi/INF6001
Professeur: Luigi Logrippo
Description
officielle du cours
Horaire
du cours:
Lundi
18h00 à 21h00 BRAULT B1030
Premier cours 9 janvier 2012
Index de cette page
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 protocolesChapitre 10: Le traitement réparti ouvert (Open Distributed Processing)
Quelques tutoriels ODP sont ici (voir section ODP tutorials)Chapitre 11: Cas d'étude, s’il y aura le temps: À déterminer
Horaire et consignes concernant les présentations préliminaires – Hiver 2012
Rapports et présentations :
Livres en réserve (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 suje
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.
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)
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
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.
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.
· 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.
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.
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
·
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
·
Bibliographie
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 :
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.