Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | |||
formations:masters:ue:m2:ip9 [2023/04/21 13:43] – supprimée - modification externe (Unknown date) 127.0.0.1 | formations:masters:ue:m2:ip9 [2023/04/21 13:43] (Version actuelle) – ↷ Page déplacée de formations:masters:cours:m2:ip9 à formations:masters:ue:m2:ip9 treinen | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
+ | ~~NOTOC~~ | ||
+ | |||
+ | |||
+ | ====== Ingénierie des Protocoles ======= | ||
+ | |||
+ | ===== Description ===== | ||
+ | |||
+ | Les systèmes de communications sont aujourd' | ||
+ | |||
+ | Le module " | ||
+ | |||
+ | ==== Syllabus ==== | ||
+ | |||
+ | Dans ce module seront étudiés les aspects centraux suivants: | ||
+ | - Connaissances des différentes phases d' | ||
+ | - Techniques de Descriptions Formelles utilisées dans l' | ||
+ | - outils industriels liés à la spécification, | ||
+ | |||
+ | De manière plus détaillée, | ||
+ | - 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' | ||
+ | - les techniques majeures de monitorage réseaux appliquées aux aspects fonctionnels et non-fonctionnels des protocoles et services, | ||
+ | - les outils d' | ||
+ | - 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. | ||
+ | |||
+ | |||
+ | ===== Pré-requis ===== | ||
+ | - Bases en architecture réseaux | ||
+ | - Bases en un langage de script | ||
+ | |||
+ | |||