Soutenance de thèse de Julie Roux

Vincent Beroulle, Katell Morin-Allory et Lilian Bossuet ont le plaisir de vous inviter à la soutenance de thèse de Julie Roux

Évaluation de la sûreté des systèmes aéronautiques grâce aux plateformes virtuelles
Thèse réalisée en collaboration avec THALES et Aedvices

La soutenance aura lieu : 

le vendredi 7 janvier à 14 h 30
ESISAR, amphithéâtre A042 

Titre :Évaluation de la sécuritédes systèmes aéronautiques à l'aide de plateformes virtuelles

Résumé :Les systèmes embarqués utilisés dans des applications critiques sont soumis à des normes très strictes, mais l'analyse de sécurité de ces systèmes est souvent empirique et repose principalement sur l'expérience des ingénieurs. La réalisation d'analyses empiriques sur des conceptions complexes constitue un défi majeur qui conduit les ingénieurs à formuler des hypothèses très pessimistes et, par conséquent, à surdimensionner de multiples contre-mesures.
De nombreuses techniques d’injection de défauts ont été développées pour évaluer la robustesse des conceptions matérielles au niveau du transfert de registres (RTL). Avec ces techniques, la robustesse est évaluée en comparant les sorties du circuit défectueux aux spécifications du circuit ou à des simulations RTL de référence exemptes de défauts. Cependant, ces techniques sont trop centrées sur le circuit. De plus, avec des conceptions matérielles complexes, les simulations de défauts deviennent très chronophages. Certaines techniques d’injection de défauts de haut niveau ou intercouches ont été proposées, mais aucune d’entre elles ne prend en compte les spécifications. De plus, la simulation de défauts de haut niveau est rapide, au détriment du réalisme. Dans cette thèse, nous présentons une nouvelle analyse itérative de robustesse intercouches qui tient compte des spécifications critiques globales du système et vérifie le réalisme des modèles de haut niveau. Ce flux est cohérent avec le flux descendant traditionnel et conforme aux recommandations des normes. La première étape du processus consiste en une simulation de défauts de haut niveau permettant d’extraire des plages de paramètres critiques. Ces plages sont ensuite utilisées pour évaluer la robustesse de chaque bloc RTL du circuit. Lors de la dernière étape, nous calculons des métriques reflétant le réalisme des modèles de haut niveau. Grâce à ces métriques, nous pouvons déterminer si les modèles de haut niveau doivent être améliorés. La thèse propose une approche utilisant ce flux, reposant sur un premier cycle « rapide et approximatif » permettant d’obtenir une évaluation précoce du modèle de haut niveau, et un dernier cycle précis permettant d’obtenir une classification des défauts RTL. Nous appliquons ce flux à une étude de cas portant sur un véritable système aéroporté.

Les membres du jury chargés de délibérer seront :
Olivier Sentieys, professeur d'université, Université de Rennes
Sébastien Pillement, professeur d'université, Université de Nantes (rapporteur)
Arnaud Virazel, professeur d'université, Université de Montpellier II (rapporteur)
Régis Leveugle, professeur d'université, Université Grenoble Alpes.