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

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

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

É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

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

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

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

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

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

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

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

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 Votre système de courriel devrait permettre 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