La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

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

Présentations similaires


Présentation au sujet: "1 Chapitre 0 INF6001 Ingénierie des protocoles de communication Informations générales sur le cours w3.uqo.ca/luigi."— Transcription de la présentation:

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

2 INF6001 Chap 0 2 Esprit du cours Un cours sur les méthodes de conception des protocoles de communication et les outils reliés Laccent 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

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

4 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

5 INF6001 Chap 0 5 Dates importantes Semaine 4 (30 janvier) : soumettre au prof, par courriel, le titre de votre projet avec quelques lignes dexplications 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 dun 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

6 INF6001 Chap 0 6 Préalables Connaissances générales en informatique au niveau dun 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

7 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, Le premier livre qui présente les idées principales de ce fameux auteur. TK H G.J. Holzmann. The SPIN Model-Checker. Addison-Wesley, 2004 Manuel pour lenvironnement de vérification SPIN, contient aussi beaucoup dinformations générales. TA168 H R. Lai, A. Jirachiefpattana. Communication protocol specification and verification. Kluwer, Un manuel intéressant qui donne des détails sur la vérification des protocoles, SDL, LOTOS, et autres langages et systèmes. TK L 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. TK P A. Tanenbaum. Réseaux. InterEditions-Prentice Hall Un livre de base qui contient beaucoup de notions importantes sur les réseaux et protocoles TK T

8 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 dutilisation, 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

9 Quelques liens pour le projet (principalement outils) Notes de cours: à partir de ma page web SPIN documentation et outil: Outil disponible gratuitement CADP: CAESAR-ALDÉBARAN Outil disponible après requête formelle SDL Je devrai commander loutil pour vous UCM Outil disponible à lUniversité dOttawa, si nécessaire je peux intervenir EN TOUT CAS, JE VOUS CONSEILLE DE COMMENCER VOTRE RECHERCHE DE PROJET TOUT DE SUITE! INF6001 Chap 0 9

10 10 Concernant lexamen Le 16 avril, à lheure du cours, 3 heures Tout ce qui est présenté en classe est sujet dexamen, dans les limites où il a pu être discuté… Les présentations détudiants sont aussi sujet dexamen Tout document autorisé Cependant il nest pas admis de partager documents entre étudiants Ordinateurs pas permis

11 INF6001 Chap 0 11 Communications Étant donné que le cours nest donné quune fois par semaine, je pourrais parfois être obligé de communiquer avec vous par courriel Jutiliserai votre adresse électronique détudiant de Il est donc important que vous consultiez souvent votre boîte courriel Nous naccepterons pas dentendre que vous ne savez pas car vous navez pas regardé…

12 INF6001 Chap 0 12 Au besoin, transférez votre courriel! Si vous navez pas lhabitude de regarder votre 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 dautres profs, ainsi que ladministration, pourront chercher à communiquer avec vous en utilisant votre courriel UQO.


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

Présentations similaires


Annonces Google