• Après avoir réussi le cours, l’étudiant(e) sera en mesure
• de spécifier clairement les éléments importants d’un protocole de télécommunication tels que le contrôle d’erreur et le contrôle de flux,
• de le modéliser de façon hiérarchique et comportementale,
• d’effectuer des choix importants en ce qui a trait aux contraintes opérationnelles et à leurs implications sur la conception de logiciels de télécommunications.
• Les concepts couverts sont les suivants : la modélisation de protocoles de communications; les caractéristiques des diagrammes d'états et des machines à états finis; la spécification, la conception et la validation de logiciels de télécommunications; les vérifications et les tests de protocoles; les tests de conformité; la synthèse et la transformation de protocoles; l’analyse de plusieurs protocoles de communication prédominants; l’utilisation de SDL comme outil formel pour la spécification de protocoles de communication.
• Les laboratoires comprennent des projets de développement de protocoles de télécommunication ainsi que de la conception et du développement des logiciels qui implémenteront ces protocoles. L’étudiant(e) apprendra non seulement à concevoir de nouveaux protocoles de télécommunication, mais aussi les outils logiciels nécessaires pour les implémenter et les valider.

• Il y a trois (3) heures de cours magistral par semaine, pendant 13 semaines, portant sur les concepts de l’analyse et de la conception de logiciels de télécommunications. Ces concepts seront accompagnés d’exemples concrets et d’exercices pratiques.

• Il y a deux (2) heures de laboratoire encadrées par semaine, pendant 12 semaines. Les laboratoires permettront à l’étudiant(e) de mettre en œuvre les concepts théoriques vus en classe.

• La structure de protocoles (3 heures[1])
• Le contrôle de flux (3 heures)
• Le contrôle des erreurs (3 heures)
• Les patrons de conceptions de protocoles (3 heures)
• Les patrons de conception de logiciels de communication (3 heures)
• La spécification et la modélisation des protocoles (6 heures)
• Le langage SDL (6 heures)
• Études de cas
  • BitTorrent (3 heures)
  • Les protocoles dédiés au jeu vidéo (3 heures)
  • Les protocoles dédiés au multimédia (3 heures)

• L'étudiant(e) se familiarisera avec les outils de développement de programmes, compilateurs pour le langage Java, les débogueurs, les analyseurs de réseau, les outils de gestion de logiciels. Il ou elle apprendra à modéliser des protocoles de télécommunication avec SDL (UML).

• Il y aura un (1) examen intra (d’une durée deux (2) heures) et un (1) examen final (d’une durée de trois (3) heures)

• Deux (2) examens (25 Intra et 30 % final) :             55 %
• Un (1) laboratoire :                                                      15 %
• Trois (3) travaux pratiques (5 % chacun)                  15 %
• Devoir  quiz et exercices :                                          15 %

L’examen intra aura lieu le jeudi 4 juin 2015. La date de l’examen final sera annoncée par l’ÉTS plus tard durant le trimestre.

Les dates de remise des travaux doivent être respectées. Une pénalité de 20 % par jour de retard sera appliquée à tous les travaux qui ne seront pas remis à temps.

Une remise dont l’enseignant juge que la qualité est inadéquate sera refusée.

Les lectures obligatoires des références sur internet seront spécifiées sur le site web du cours.

• DOLDI, L., SDL Illustrated - Visually Design Executable Models. Toulouse, France, Laurent Doldi, 2001.
• HOLZMANN, G.J. & American Telephone and Telegraph Company, Design and Validation of Computer Protocols. Englewood Cliffs (NJ), Prentice Hall, 1991.

https://ena.etsmtl.ca/

na