Ingénierie de protocoles GIN4R06
Enseignant:
Email:
Durée totale du cours: 22.5 H
Semestre : 4
Option Ingénierie systèmes et réseaux
Nombre de crédits : 2
| Modules
spécialisés |
Modules de
base |
Sciences et techniques de
l’ingénierie |
Préparation à la carrière professionnelle |
| X |
| Nombre d’heures | Activités hors classe |
| 22.5 | 18 |
Code : GIN4R0 Ingénierie de protocoles
Contenu du cours
- Chapitre 1 : Généralités sur les protocoles
- Cycle de développement des protocoles
- Vérification et Validation des protocoles
- Chapitre 2 : Modèles à états
- Etats et transition
- Modèles de machines à état fini
- Chapitre 3 : Réseaux de Petri et logique temporelle
- Modélisation des protocoles
- Les réseaux de Petri Colorés
- Chapitre 4 : Analyse de modèles (Model-checking)
- Modèles Büchi
- Analyseur SPIN
- Chapitre 5 : Principes des tests des protocoles
- Théorie du Test
- Langages et architectures de test
- Chapitre 6 : Vers les protocoles de traitement réparti ouvert (Open Distributed Processing)
- Architecture ODP
- Modèle d’ingénierie ODP
Méthodes d’enseignement et d’apprentissage
- Enseignement frontal (magistral) avec des exemples à résoudre en
- Exercices théoriques et études de cas (présentation et discussion).
- Travaux à faire à domicile (mini-projet, exposé, compte-rendu, …)
Connaissances et compétences pré-requises
- Les fondements de réseaux
- Les principes des protocoles de bases
Références bibliographiques
- Un polycopié (Notes du cours) de l’enseignant sera
- Gerard J. Holzmann, Design and Validation of Computer Protocol, Prentice Hall, New Jersey, 1991, ISBN 0-13-539925-4.
Modalité d’évaluation
- 40% Contrôle continu (Test + Travail individuel avec présentation orale, Devoir surveillé, …)
- 60% Examen semestriel
Résultat d’apprentissage :
À la fin du cours, l’étudiant doit:
- Être au fait des problématiques liées au domaine des protocoles de télécommunication
- Être capable de maîtriser le processus de développement de ces protocoles en utilisant des techniques formelles de spécification et de