Nantilus
Systèmes embarqués temps réel fiables et adaptables
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 tra...
Enregistré dans:
| Auteurs principaux : | , , , , , , |
|---|---|
| Collectivités auteurs : | , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Systèmes embarqués temps réel fiables et adaptables / Dimitry Solet; sous la direction de Sébastien Pillement et de Mikaël Briday |
| Publié : |
2020 |
| Accès en ligne : |
Accès Nantes Université
|
| Note sur l'URL : | Accès au texte intégral |
| Note de thèse : | Thèse de doctorat : Electronique : Nantes : 2020 |
| Sujets : |
| LEADER | 05066clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN25468050X | ||
| 003 | http://www.sudoc.fr/25468050X | ||
| 005 | 20240531154500.0 | ||
| 029 | |a FR |b 2020NANT4044 | ||
| 033 | |a http://www.theses.fr/2020NANT4044 | ||
| 035 | |a (OCoLC)1245586472 | ||
| 035 | |a STAR154669 | ||
| 100 | |a 20210409d2020 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||ma 00|yy | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | 1 | |6 z01 |a ceb |2 RDAfrCarrier | |
| 200 | 1 | |a Systèmes embarqués temps réel fiables et adaptables |f Dimitry Solet |g sous la direction de Sébastien Pillement et de Mikaël Briday | |
| 214 | 1 | |d 2020 | |
| 230 | |a Données textuelles | ||
| 304 | |a Titre provenant de l'écran-titre | ||
| 314 | |a Ecole(s) Doctorale(s) : École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) | ||
| 314 | |a Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Frank Singhoff (Président du jury) ; Abdoulaye Gamatié (Membre(s) du jury) ; Katell Morin-Allory, Claire Pagetti (Rapporteur(s)) | ||
| 328 | 0 | |b Thèse de doctorat |c Electronique |e Nantes |d 2020 | |
| 330 | |a 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. | ||
| 330 | |a Embedded systems are in charge of critical missions which imply that they should not have any failure. Thus, it is necessary to implement fault-tolerance mechanisms in order to detect faults and restore the system. In this work, we propose to implement a mechanism to detect errors that occur in the program. This mechanism is based on the implementation of a runtime verification service. The system is a system-on-chip that integrates a microcontroller and a programmable logic circuit. The program is instrumented in order to transmit, to the logic circuit, the adequate information on its execution. Monitors are synthesized on the circuit logic from 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. | ||
| 337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 541 | | | |a Safe and programmable real-time embedded system |z eng | |
| 606 | |3 PPN033217521 |a Systèmes embarqués (informatique) |2 rameau | ||
| 606 | |3 PPN027333930 |a Temps réel (informatique) |2 rameau | ||
| 606 | |3 PPN149860714 |a Bogues (informatique) |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a ... | |
| 676 | |a 005 | ||
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN254674380 |a Solet |b Dimitry |f 1992-.... |4 070 | |
| 701 | 1 | |3 PPN096192771 |a Pillement |b Sébastien |f 19..-.... |4 727 | |
| 701 | 1 | |3 PPN086961691 |a Briday |b Mikaël |f 1978-... |4 727 | |
| 701 | 1 | |3 PPN057757380 |a Singhoff |b Frank |f 19..-.... |4 956 | |
| 701 | 1 | |3 PPN082022658 |a Morin-Allory |b Katell |4 958 | |
| 701 | 1 | |3 PPN08651542X |a Pagetti |b Claire |f 1975-... |4 958 | |
| 701 | 1 | |3 PPN081102828 |a Gamatié |b Abdoulaye |4 555 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN204770424 |a École doctorale Mathématiques et sciences et technologies de l'information et de la communication |c Rennes |4 996 |
| 711 | 0 | 2 | |3 PPN203637585 |a Laboratoire des Sciences du Numérique de Nantes |4 981 |
| 801 | 3 | |a FR |b Abes |c 20230302 |g AFNOR | |
| 856 | 4 | |q PDF |s 2843523 |u http://www.theses.fr/2020NANT4044/document |z Accès au texte intégral | |
| 856 | 4 | |u https://archive.bu.univ-nantes.fr/pollux/show/show?id=39d37ab5-1b1e-4114-85e8-56987384a4a9 | |
| 856 | 4 | |u http://www.theses.fr/2020NANT4044/abes | |
| 930 | |5 441099901:778945006 |b 441099901 |j g | ||
| 991 | |5 441099901:778945006 |a exemplaire créé automatiquement par STAR | ||
| 998 | |a 893470 | ||