Ouroboros est une bibliothèque développée par l'équipe TRACES de l'IRIT (Institut de Recherche en Informatique de Toulouse). Elle permet aux chercheurs de prototyper et d'expérimenter des modèles d'interférences dans l'ordonnancement statique des systèmes temps réel. L'outil facilite l'analyse et la validation de schedulers pour des applications critiques en informatique industrielle.

Développement d'une application pour le contrôle automatisé de l'appontage d'avions de chasse. Le projet utilise des méthodes formelles, notamment la méthode B, pour modéliser, valider et générer automatiquement du code source (Ada ou C++) garantissant la fiabilité des systèmes critiques. Il s'inscrit dans un cadre académique ou industriel exigeant une approche rigoureuse et sécurisée.