chapitre 0
Download
Skip this Video
Download Presentation
Chapitre 0

Loading in 2 Seconds...

play fullscreen
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

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

slide7
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

slide12

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