Séance de cours
Cette séance de cours de l'instructeur se concentre sur la conception de systèmes en réseau avec des performances robustes, mettant l'accent sur la nécessité d'applications en temps réel et de calcul parallèle. La présentation porte sur les défis de l'heuristique dans la conception du réseau, l'importance de prouver les propriétés du système avant le déploiement, et l'utilisation de la vérification formelle pour obtenir des informations sur la performance du système. Des études de cas sur les algorithmes de contrôle de la congestion tels que Copa et BBR sont discutées, ainsi que l'exploration des problèmes de retard et la complexité des comportements du réseau réel. La séance de cours se termine par un examen des orientations futures de la recherche, y compris la modularisation des épreuves et la synthèse automatique des conceptions de systèmes performants.