Systèmes embarqués temps réel fiables et adaptables

Embedded systems are in charge of critical missions which imply that they should not have any failure. Thus, it is necessary toimplement fault-tolerance mechanisms in order to detect faults and restore the system. In this work, we propose to implement amechanism to detect errors that occur in the program. This mechanism is based on the implementation of a runtime verificationservice. The system is a system-on-chip that integrates a microcontroller and a programmable logic circuit. The program isinstrumented in order to transmit, to the logic circuit, the adequate information on its execution. Monitors are synthesized on the circuit logicfrom properties to verify. An implementation of this mechanism is realized to monitor a real-time operating system.Finally, a fault injection campaign is used to evaluate the performance of the detection mechanism.Les systèmes embarqués sont en charge de missions de plus en plus critiques quiimpliquent qu’ils ne doivent pas avoir de défaillance. Il est donc nécessaire de mettre enoeuvre des mécanismes de tolérance aux fautes permettant de détecter les fautes et ainsipouvoir rétablir le système. Dans ces travaux, on propose de mettre en oeuvre un mécanisme de détection des erreursqui surviennent au niveau du logiciel. Ce mécanisme est basé sur l’implémentation d’un service de vérification en ligne. L’architecturematérielle du système est un système sur puce qui intègre un microcontrôleur et un circuitlogique programmable. Le programme est instrumenté afin de transmettre, vers le circuitlogique, les informations adéquates sur son exécution. Des moniteurs, synthétisés sur le circuitlogique à partir de propriétés à vérifier, donnent un verdict sur l’exécution du programme. Une implémentation de ce mécanisme estré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