Master 2 Informatique - Université de Paris - Paris Diderot

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.

  • Examen:

    Cette année, dû à la situation sanitaire, un micro-projet de monitorage (P1) et un projet de modélisation/test/génération de scripts (P2) seront demandés aux étudiants. La note finale sera (P1+3*P2)/4.

    Responsable:

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

    EDT 2020/2021 - Amphi 12E (pour les cours en présentiel)

    Tous les cours auront lieu à 14h30 (sauf le 06/10)

    NB: Certains cours seront en présentiel, d'autres en distanciel.

    Pour les cours en distanciel avec Stephane Maag, merci de se connecter à l'heure du cours sur ce lien: https://webconf.imt.fr/frontend/ste-ajm-xcr

    Le lien pour les distanciels avec M. Mallouli sera bientôt disponible.


  • 29/09, PRESENTIEL, Introduction à l'Ingenierie des Protocoles 1 , Stephane Maag
  • 06/10, DISTANCIEL, 15h-16h30, Introduction à l'Ingenierie des Protocoles 2 , Stephane Maag
  • 13/10, PRESENTIEL, Exercices, Stephane Maag
  • 20/10, DISTANCIEL, Exercices1, Exercices2, Exercices3, Stephane Maag
  • 27/10, PRESENTIEL, La norme TTCN3 et ses alternatives, Stephane Maag

  • Outil PragmaStudio V551 à télécharger et installer ici.

    C'est un outil 'académique' multi plateformes (OS, Windows, Linux). Je vous encourage à tester les modèles simples disponibles suite à l'installation afin de constater les possibilités de l'outil. Nous verrons ensemble comment l'utiliser lors du cours du 3/11 et la spécification formelle SDL.

  • 03/11, DISTANCIEL, La Spécification protocolaire SDL et la notation TTCN3, Stephane Maag
  • 10/11, DISTANCIEL, Techniques de Monitoring, avec M. Wissam Mallouli. LIEN POUR SE CONNECTER.
  • 17/11, DISTANCIEL, Techniques de Monitoring, avec M. Wissam Mallouli. LIEN POUR SE CONNECTER.


  • Durant les 3 prochaines séances, les 24/11, 01/12, 08/12 (toutes en distanciel avec S. Maag), vous allez travailler sur un système SDL (fourni) avec PragmaStudio pour y générer (méthode UIO), définir et exécuter des Cas de Test TTCN3.

    Voici l'énoncé du projet: énoncé du projet

    Voici les fichiers fournis:
  • La spécification de BASE.
  • Si besoin la norme SDL Z100.
  • Si besoin la norme TTCN3 à travers un cours très détaillé fourni par Ericsson.
  • D'autres fichiers nécessaires pour le TP:

  • tr3vFAIL
  • MISD2019SOLUTION_FAIL
  • SPEC3
  • Vous devrez impérativement me rendre vos travaux au plus tard le 18/12/2020 à midi (comme indiqué dans l'énoncé du projet).