Master 2 Informatique - Université Paris Cité

Module Ingénierie des Protocoles 2023-24


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:

    Les étudiants devront rendre 1 micro-projet Selenium (P1), 1 projet SDL (P2) et auront 1 examen final écrit sur table de 2 heures (E1). La note finale sera (P1+2P2+3E1)/6.

    Responsable:

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

    EDT 2023/2024 - 471E


  • 03/10, Introduction à l'Ingenierie des Protocoles 1
  • 10/10, Introduction à l'Ingenierie des Protocoles 2
  • 17/10, Exercices
  • 24/10, Exercices1, Exercices2, Exercices3
  • 31/10, Exercices 4
  • 07/11, Cours et TP micro-projet Selenium. A RENDRE LE 17/11 18H00 au plus tard.
  • 14/11, Cours SDL Part 1
  • 21/11, Cours SDL Part 1b
  • 28/11, Cours SDL Part 2
  • 05/12, Cours TTCN3
  • 12/12, Révisions exercices Examen
  • 19/12, 9h-11h00, Amphi 10E, EXAMEN
    • Projet SDL-TTCN3:
    Outil PragmaStudio V601 à télécharger et installer ici.

    C'est un outil en 'version académique' multi plateformes (macOS, 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 avec la spécification formelle SDL à votre disposition.

    Durant les prochaines séances, 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 15/12/2023 à midi (comme indiqué dans l'énoncé du projet).