Devant un public de spécialistes, Régis Leveugle a débuté sa présentation en détaillant les actions menées par son équipe depuis 2015 :
Niveau système :
– Surveillance en ligne de systèmes HW/SW, validation de systèmes
multi-physiques (à partir de modèles SysML, guidée par des scénarii)
– Test système et protection des accès aux instruments embarqués
(lien avec crypto. légère pour l’IoT + accès aux moniteurs)
Niveau RTL :
– Vérification statique de changement de domaine d’horloge
– Compilation de contrôleurs à partir de propriétés synthétisables
– Fautes (transitoires) : modèles d’erreur, détection/correction,
évaluation de sûreté (multi-niveau)
– Effets du vieillissement
– Sécurité matérielle et accélérateurs : crypto-processeurs, attaques,
contre-mesures
– Calcul approximé (=> test, sûreté), Neuromorphique
Il a ensuite présenté des outils et techniques développés par son laboratoire qui permettent de surveiller et vérifier des systèmes avec une approche non intrusive.
Des contacts ont été pris en fin de conférence entre l’intervenant et les participants dans la perspective de possibles partenariats.
