Certaines applications réseaux nécessitent des garanties sur les
délais maximums de transit à travers un réseau. La théorie du calcul
réseau a été définie pour permettre de calculer ce type de
valeur. Dans le cadre de travaux avec Airbus, un prototype a été
développé pour appliquer une partie de la théorie à un problème
particulier.
Le prototype développé l'a été dans un langage interprété,
Maude. Malheureusement, cet outil basé sur les grammaire de
ré-écritures s'avère un peu lent pour les besoins sur les cas
réels. L'objectif du stage est de ré-écrire les algorithmes mis en
place dans le prototype en C++.
Une grande exigence sera apportée à la propreté, clarté et qualité de
conception de l'application, qui a pour but d'être maintenue et
évolutive.