Mon ÉTS  |  Bibliothèque  |  Bottins  |  Emplois  |  Intranet  |  ENGLISH
Niveau : 1er cycle
Crédits : 3 cr.
Préalable: LOG610

Charge hebdomadaire :
cours (3 h)
laboratoire (2 h)

Responsable :
Département de génie logiciel et des TI

Fiche de cours

Se familiariser 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.