

Félicitations aux admis.
L'équipe travaille sur des méthodologies basées sur la fédération de modèles hétérogènes ainsi que sur des méthodologie et passage à l’échelle des techniques de vérification formelle par modèle checking : systèmes prouvés corrects par construction.
Les autres axes de recherche sont centrés à la sécurisation du flot de compilation pour les circuits reconfigurables et sur la virtualisation d’architectures reconfigurables pour la conception de systèmes sur puce (SoC) pérennes et sécurisés.
Fédération de modèles exécutables pour la simulation opérationnelle de systèmes défense. Collaboration avec la société Sodius.
Exécution et vérification formelle de modèles de systèmes de systèmes développés avec le cadre architectural de l’OTAN (NAF). Collaboration avec la société PragmaDev.
Sécurisation d’architectures Overlay pour un maintien en condition opérationnelle long de circuits numériques (étude école).