LOG540 Analyse et conception de logiciels de télécommunications

Ce cours vise à familiariser l'étudiant avec le développement de logiciels de protocoles de communications.

Modélisation des protocoles de communications. Caractéristiques des diagrammes d’états et machines de protocoles. Spécification, conception et validation de protocoles. Vérifications et tests de protocoles. Tests de conformité. Synthèse et transformation de protocoles. Utilisation de SDL comme outil formel pour la spécification de protocoles de communications.

Séances de laboratoire comprenant des projets de développement de protocoles de la couche transport.

Crédits 3
Charge hebdomadaire Cours (3h), laboratoire (2h)
Cycle 1er
Préalables GTI610  
Responsable Département de génie logiciel et des TI