Master 2 Informatique - Paris Diderot - Paris 7

Module Ingénierie des Protocoles


Objectifs:

Les systèmes de communications deviennent aujourd'hui de plus en plus complexes, distribués, virtualisés, devant gérer un nombre croissant de flux de données utilisateurs et systèmes. L'ingénierie des protocoles et des systèmes de communication joue de fait un rôle prépondérant dans leur spécification, conception, implémentation, validation et mise en oeuvre.

Le module "Ingénierie des Protocoles" vise à fournir les connaissances, techniques et outils d’ingénierie pour la spécification, le développement, le test et l’intégration des protocoles dans les systèmes communicants existants.

Dans ce module seront étudiés les aspects suivants:

  • Connaissances des différentes phases d’ingénierie dans le développement et l’intégration des protocoles,
  • Techniques de Descriptions Formelles utilisées dans l'ingénierie des protocoles de communication,
  • Maitrise d’outils industriels pour tester les systèmes réels,
  • Langage SDL pour la spécification de protocoles, la génération automatisée pour le code et la co-validation.

  • Examens:

    Un mini projet TP en binôme sera demandé aux étudiants. Un examen final sur table sera organisé en fin de session.

    Responsable:

    Stephane Maag, Stephane.Maag-AT_telecom-sudparis.eu

    EDT 2018/2019 - Salle 1009 (cours) et 2003 (TP - Bat. Sophie Germain)


  • 05/10, 12h30-15h30, Introduction à l'Ingenierie des Protocoles 1 , Stephane Maag, Cours 3h, Salle 1009
  • 12/10, 12h30-15h30, Ingénierie des Protocoles - Monitorage , Wissam Mallouli, Cours 3h, Salle 1009
  • 19/10, 12h30-15h30, Ingénierie des Protocoles - Monitorage , Wissam Mallouli, TP 3h, Salle 2003
  • 26/10, 12h30-15h30, Micro-projet, Wissam Mallouli, TP 3h, Salle 2003
  • 2/11, 12h30-15h30, Introduction à l'Ingenierie des Protocoles 2 , Stephane Maag, Cours 3h, Salle 1009
  • 9/11, 12h30-15h30, Génération Sequences de Tests , Exercices1, Exercices2, Exercices3, Exercices4, Stephane Maag, Cours Intégré 3h, Salle 1009
  • 16/11, 12h30-15h30, Stephane Maag, Exercices4, Cours Intégré 3h, Salle 1009
  • 23/11, 12h30-15h30, Stephane Maag, CTL for Testing, Cours Intégré 3h, Salle 1009
  • 30/11, 12h30-15h30, Stephane Maag, SDL Partie 1, Machine à café, TP, Salle 2003
  • 7/12, 12h30-15h30, Stephane Maag, Machine à café, SDL Partie 2, un exemple de procédure, un exemple de processus instanciés, TP, Salle 2003
  • 14/12, 12h30-15h30, Stephane Maag, TP, Salle 2003