INF6263 - Ingénierie des protocoles de communication

Scolarité

Deuxième cycle - 3,0 crédit(s)

Département

Département d'informatique et d'ingénierie

Objectifs

Permettre aux étudiants de maîtriser le processus d'ingénierie, de conception formelle, de validation et test des protocoles de communication.

Contenu

Fonctions des protocoles de communication. Modèles à couches : protocoles et services. Contrôle d'erreur. Contrôle de flux. Gestion des connexions. Spécification formelle des protocoles de communication. Validation des protocoles de communication. Techniques à états finis et algébriques : analyse d'accessibilité, équivalence par test, équivalence observationnelle, etc. Évaluation de modèles. Méthodes de test. Étude de quelques langages formels ou semi-formels tel que : CCS. Pi-Calculus, LOTOS, PROMELA, SDL, UML. Application avec outils, comme SPIN, CADP, ALLOY, etc.

Préalables

Aucun

Exigences de qualification pour l'enseignement

Diplôme(s)
Doctorat dans un secteur lié spécifiquement au contenu du cours ou doctorat dans un secteur disciplinaire connexe a cours.
Expérience
Dans le cas d'un doctorat dans un secteur disciplinaire connexe au cours : Deux années d'expérience en recherche ou en intervention professionnelle dans un domaine lié au contenu du cours.
Corps professionnel
Non
Autre(s) exigence(s)
Dans tous les cas, la candidate, le candidat devra pouvoir démontrer sa capacité à communiquer efficacement oralement et par écrit ainsi qu’à transmettre les connaissances ou les habiletés pertinentes au contenu du cours pour lequel les exigences de qualification pour l’enseignement (EQE) sont adoptés.

CAFF

6606 - Génie électrique