Les systèmes de communications sont aujourd'hui distribués, virtualisés, d'une complexité telle qu'il se doit de 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 centraux 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,
outils industriels liés à la spécification, modélisation, intégration et le test des systèmes réels.
De manière plus détaillée, nous étudierons
les architectures protocolaires à la lumière des formalismes basés sur les automates à prédicats,
les systèmes répartis ainsi que la tolerances aux pannes,
les différentes phases de vie et de développement dans l'ingénierie des protocoles,
les techniques majeures de monitorage réseaux appliquées aux aspects fonctionnels et non-fonctionnels des protocoles et services,
les outils d'intégration et de déploiement continu,
langage SDL pour la spécification de protocoles, la génération automatisée pour le code et le langage TTCN3 pour la co-validation.
Quelques mots clés:
Internet, TCP/IP, OSI, ISO, ITU-T SDL, SysML, TTCN3, TDL, DPI, CI/CD, QA, QoS, QoE.