| ||||
Sigle : INF6001 Gr. 01 Titre : Ingénierie des protocoles de communication Session : Hiver 2012 Horaire et local Professeur : Logrippo, Luigi | ||||
1. Description du cours paraissant à l'annuaire : | ||||
ObjectifsPermettre à l'étudiant de comprendre le processus de développement des protocoles de communication. Lui permettre de maîtriser les techniques de spécification et de validation de protocoles.ContenuFonctions des protocoles de communication. Contrôle d'erreur. Contrôle de flux. Gestion des connexions. Fragmentation et assemblage des messages. Encapsulation. Standards. Spécification des protocoles : méthodes basées sur les automates, les processus, etc. Introduction aux langages de spécification. Implantation des protocoles de communication. Architecture d'une entité de protocole : modules, interaction, horloges, etc. Méthodes de test des protocoles de communication. Méthodes et stratégies de validation : arbre d'accessibilité, équivalences observationnelles, etc. Éléments communs de service. Environnement de validation (Promela, Spin, Aldebaran). | ||||
2. Objectifs spécifiques du cours : | ||||
À terme, l'étudiant(e) doit être au fait des problématiques liées au domaine des protocoles de télécommunication et être capable de maîtriser le processus de développement de ces protocoles en utilisant des techniques formelles de spécification et de validation. | ||||
3. Stratégies pédagogiques : | ||||
Ce cours est donné principalement sous forme magistrale, parsemé d'exercices de compréhension. Il y aura des projets et des présentations d'étudiants. | ||||
4. Heures de disponibilité ou modalités pour rendez-vous : | ||||
Pour obtenir un rendez-vous, envoyez un courriel. | ||||
5. Plan détaillé du cours sur NaN semaines : | ||||
Semaine | Thèmes | Dates | ||
1 |
|
09 jan. 2012 | ||
2 |
|
16 jan. 2012 | ||
3 |
|
23 jan. 2012 | ||
4 |
|
30 jan. 2012 | ||
5 |
|
06 fév. 2012 | ||
6 |
|
13 fév. 2012 | ||
7 |
|
20 fév. 2012 | ||
8 |
|
27 fév. 2012 | ||
9 |
|
05 mars 2012 | ||
10 |
|
12 mars 2012 | ||
11 |
|
19 mars 2012 | ||
12 |
|
26 mars 2012 | ||
13 |
|
02 avr. 2012 | ||
14 |
|
09 avr. 2012 | ||
15 |
|
16 avr. 2012 | ||
6. Évaluation du cours : | ||||
L'évaluation est l'appréciation du niveau d'apprentissage atteint par l'étudiant par rapport aux objectifs des cours et des programmes. Dans le cas spécifique du cours Ingénierie des protocoles de communication l'attribution des notes se fera selon la répartition suivante:
| ||||
7. Politiques départementales et institutionnelles : | ||||
| ||||
8. Principales références : | ||||
| ||||
9. Page Web du cours : | ||||
https://moodle.uqo.ca |