Publications

Thèses


< retour aux thèses

« Surveillance comportementale de systèmes et logiciels embarqués par signature disjointe ».

Auteur : S. Bergaoui
Directeur de thèse : R. Leveugle
Président du jury : L. Anghel
Rapporteur(s) de thèse : M. Sonza-Reorda, Ph. Coussy,
These de Doctorat Université de Grenoble
Spécialité : micro et nano électronique
Soutenance : 06/06/2013
ISBN : 978-2-11-129176-8

Résumé

Les systèmes critiques, parmi lesquels les systèmes embarqués construits autour d'un microprocesseur mono-coeur exécutant un logiciel d'application, ne sont pas à l’abri d’interférences naturelles ou malveillantes qui peuvent provoquer des fautes transitoires. Cette thèse porte sur des protections qui peuvent être implantées pour détecter les effets de telles fautes transitoiressans faire d'hypothèses sur la multiplicité des erreurs générées. De plus, ces erreurs peuvent être soit des erreurs de flot de contrôle soit des erreurs sur les données. Une nouvelle méthode de vérification de flot de contrôle esttout d'abord proposée. Elle permet de vérifier, sans modifier le système initial, que les instructions du programme d’application sont lues sans erreur et dans le bon ordre. Les erreurs sur les données sont également prises en compte par une extension de la vérification de flot de contrôle. La méthodeproposée offre un bon compromis entre les différents surcoûts, le temps de latence de détection et la couverture des erreurs. Les surcoûts peuvent aussi être ajustés aux besoins de l'application. La méthode est mise en oeuvre sur un prototype, construit autour d’un microprocesseur Sparc v8. Les fonctions d'analyse de criticité développées dans le cadre de la méthodologie proposée sont également utilisées pour évaluer l'impact des options de compilation sur la robustesse intrinsèque du logiciel d'application.

pdf pdf

Autre localisation