Chapitre 0
Download
1 / 12

Chapitre 0 - PowerPoint PPT Presentation


  • 115 Views
  • Uploaded on

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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Chapitre 0' - telyn


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Chapitre 0

Chapitre 0

INF6001

Ingénierie des protocoles de communication

Informations générales

sur le cours

w3.uqo.ca/luigi


Esprit du cours
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
É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
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
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
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
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
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
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

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


ad