Thèse soutenue

Systèmes embarqués temps réel fiables et adaptables
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Dimitry Solet
Direction : Sébastien PillementMikaël Briday
Type : Thèse de doctorat
Discipline(s) : Electronique
Date : Soutenance le 09/11/2020
Etablissement(s) : Nantes
Ecole(s) doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes)
Partenaire(s) de recherche : Laboratoire : Laboratoire des Sciences du Numérique de Nantes
Jury : Président / Présidente : Frank Singhoff
Examinateurs / Examinatrices : Abdoulaye Gamatié
Rapporteurs / Rapporteuses : Katell Morin-Allory, Claire Pagetti

Mots clés

FR

Mots clés libres

Résumé

FR  |  
EN

Les systèmes embarqués sont en charge de missions de plus en plus critiques qui impliquent qu’ils ne doivent pas avoir de défaillance. Il est donc nécessaire de mettre en œuvre des mécanismes de tolérance aux fautes permettant de détecter les fautes et ainsi pouvoir rétablir le système. Dans ces travaux, on propose de mettre en œuvre un mécanisme de détection des erreurs qui surviennent au niveau du logiciel. Ce mécanisme est basé sur l’implémentation d’un service de vérification en ligne. L’architecture matérielle du système est un système sur puce qui intègre un microcontrôleur et un circuit logique programmable. Le programme est instrumenté afin de transmettre, vers le circuit logique, les informations adéquates sur son exécution. Des moniteurs, synthétisés sur le circuit logique à partir de propriétés à vérifier, donnent un verdict sur l’exécution du programme. Une implémentation de ce mécanisme est réalisée pour la surveillance d’un système d’exploitation temps réel. Enfin une campagne d’injection de fautes est effectuée afin d’évaluer les performances du mécanisme de détection.