Chapitre 0

1. Chapitre 0 INF6001 Ingénierie des protocoles de communication Informations générales sur le cours w3.uqo.ca/luigi

2. Esprit du cours • Un cours sur les méthodes de conception des protocoles de communication et les outils reliés • L’accent sera sur la théorie, mais il y aura aussi mention des applications et des outils de génie logiciel • Cours magistral, mais les projets des étudiants et la discussion de groupe joueront un rôle important INF6001 Chap 0

3. Ingénierie des protocoles de communication Théorie INF6001 Chap 0

4. Évaluation • Examen final 40% • Rapport et présentation 50% • 10% rapport préliminaire et présentation préliminaire • 10% votre évaluation comme enseignant, par le prof et vos collègues • 30% rapport final et présentation finale • Critères détaillés dans page Web du cours • Devoirs écrits 10% • 3 ou 4 pour le cours INF6001 Chap 0

5. Dates importantes • Semaine 4 (30 janvier) : soumettre au prof, par courriel, le titre de votre projet avec quelques lignes d’explications • Pourra être raffiné plus tard • Utilisez les premières semaines pour lire au sujet du cours et décider votre sujet de projet! • Parlez-en avec le prof! • Semaine 5 (6 février): Ce cours sera probablement reporté à cause d’un engagement du prof • Semaine 8 (27 févr.): présentation préliminaire de votre projet, • Soumission du rapport préliminaire et des diapos au prof • Semaine 9: semaine d’études • Semaine 12 (26 mars) soumission des diapositives pour votre présentation finale • Seront affichées • Semaine 13 (2 avril): présentations finales • Semaine 15 (16 avril): examen final • 23 avril: livrer le rapport final et diapos finales au prof INF6001 Chap 0

6. Préalables • Connaissances générales en informatique au niveau d’un baccalauréat en informatique ou génie info • Un cours de 1er cycle sur les réseaux et protocoles • Un cours de 1er cycle sur la théorie des langages et des automates • Un cours de 1er cycle sur la logique et ses méthodes: • (x (P(x) Q(x))  P(a) )  Q(a) (savez-vous lire ceci?) • Souhaitable: cours de génie logiciel INF6001 Chap 0

7. Livres en réserve à la bibliothèque(pour connaissances générales, pas nécessairement utilisées dans mes présentations) • G.J. Holzmann. Design and validation of computer protocols. Prentice-Hall, 1991. • Le premier livre qui présente les idées principales de ce fameux auteur. • TK5105.5 H64 1991 • G.J. Holzmann. The SPIN Model-Checker. Addison-Wesley, 2004 • Manuel pour l’environnement de vérification SPIN, contient aussi beaucoup d’informations générales. • TA168 H64.2004 • R. Lai, A. Jirachiefpattana. Communication protocol specification and verification. Kluwer, 1998. • Un manuel intéressant qui donne des détails sur la vérification des protocoles, SDL, LOTOS, et autres langages et systèmes. • TK 5105 .55 L35 1998 • M. Popovic: Communication Protocol Engineering. Taylor and Francis, 2007 • Manuel général, suit une approche différente de celle de ce cours. Utile pour apprendre la méthodologie SDL et MSC. •  TK5105.55 P67.2006 • A. Tanenbaum. Réseaux. InterEditions-Prentice Hall • Un livre de base qui contient beaucoup de notions importantes sur les réseaux et protocoles • TK5105.5 T3514.2003 INF6001 Chap 0

8. Concernant le projet • Peut être fait en groupe de 2 (pas plus) • Le projet doit être étroitement relié au sujet du cours: les méthodes de conception, vérification et test de protocoles • Pourra être sur un sujet aussi présenté par le prof • Pourra être sur un outil: étude d’utilisation, expériences • SPIN • CADP (Caesar-Aldébaran) • SDL (outil de la compagnie PRAGMADEV) • UCM (Use Case Maps) • Pourra être sur un sujet théorique • Lecture et discussion de quelques articles sur un sujet • Modèle automates • Algèbre de processus • Modèles logique temporelle • Techniques de dérivation tests INF6001 Chap 0

9. Quelques liens pour le projet (principalement outils) • Notes de cours: à partir de ma page web • http://w3.uqo.ca/luigi/INF6001/index.html • SPIN documentation et outil: • http://spinroot.com/spin/whatispin.html • Outil disponible gratuitement • CADP: CAESAR-ALDÉBARAN • http://www.inrialpes.fr/vasy/cadp/ • Outil disponible après requête formelle • SDL • http://www.pragmadev.com/ • Je devrai commander l’outil pour vous • UCM • http://www.usecasemaps.org/aboutucms.shtml • Outil disponible à l’Université d’Ottawa, si nécessaire je peux intervenir • EN TOUT CAS, JE VOUS CONSEILLE DE COMMENCER VOTRE RECHERCHE DE PROJET TOUT DE SUITE! INF6001 Chap 0

10. Concernant l’examen • Le 16 avril, à l’heure du cours, 3 heures • Tout ce qui est présenté en classe est sujet d’examen, dans les limites où il a pu être discuté… • Les présentations d’étudiants sont aussi sujet d’examen • Tout document autorisé • Cependant il n’est pas admis de partager documents entre étudiants • Ordinateurs pas permis INF6001 Chap 0

11. Communications • Étant donné que le cours n’est donné qu’une fois par semaine, je pourrais parfois être obligé de communiquer avec vous par courriel • J’utiliserai votre adresse électronique d’étudiant de l’UQO: @uqo.ca • Il est donc important que vous consultiez souvent votre boîte courriel • Nous n’accepterons pas d’entendre que vous ne savez pas car vous n’avez pas regardé… INF6001 Chap 0

12. Au besoin, transférez votre courriel! Si vous n’avez pas l’habitude de regarder votre courriel @uqo.ca, vous devez créer une règle pour transférer les messages au compte de courriel que vous utilisez normalement Votresystème de courrieldevraitpermettre de faire ceci. • SVP faites ceci car d’autres profs, ainsi que l’administration, pourront chercher à communiquer avec vous en utilisant votre courriel UQO. INF6001 Chap 0