Nantilus
Support d'exécution pour les systèmes intermittents
Les travaux de cette thèse s intéressent à la modélisation et le développement de mécanismes permettant une exécution efficace sur des systèmes alimentés par une énergie intermittente tels que les capteurs sans fil. De tels systèmes sont alimentés par énergie renouvelable via un petit tampon d énerg...
Enregistré dans:
| Auteurs principaux : | , , , , , , |
|---|---|
| Collectivités auteurs : | , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Support d'exécution pour les systèmes intermittents / Antoine Bernabeu; sous la direction de Olivier Henri Roux et de Sébastien Faucou et de Mikaël Briday |
| Publié : |
2023 |
| 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 : Automatique, productique et robotique : Ecole centrale de Nantes : 2023 |
| Sujets : |
| LEADER | 06081nlm a2200697 4500 | ||
|---|---|---|---|
| 001 | PPN276582357 | ||
| 003 | http://www.sudoc.fr/276582357 | ||
| 005 | 20240523055400.0 | ||
| 029 | |a FR |b 2023ECDN0039 | ||
| 033 | |a http://www.theses.fr/2023ECDN0039 | ||
| 035 | |a (OCoLC)1427567007 | ||
| 035 | |a STAR211894 | ||
| 100 | |a 20240322d2023 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 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Support d'exécution pour les systèmes intermittents |f Antoine Bernabeu |g sous la direction de Olivier Henri Roux et de Sébastien Faucou et de Mikaël Briday | |
| 214 | 1 | |d 2023 | |
| 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 du numérique, de l Information et de la Communication (Nantes) | ||
| 314 | |a Partenaire(s) de recherche : Laboratoire des Sciences du Numérique de Nantes (Laboratoire) | ||
| 314 | |a Autre(s) contribution(s) : Hanna Klaudel (Président du jury) ; Daniel Chillet, Emmanuel Grolleau (Rapporteur(s)) | ||
| 328 | 0 | |b Thèse de doctorat |c Automatique, productique et robotique |e Ecole centrale de Nantes |d 2023 | |
| 330 | |a Les travaux de cette thèse s intéressent à la modélisation et le développement de mécanismes permettant une exécution efficace sur des systèmes alimentés par une énergie intermittente tels que les capteurs sans fil. De tels systèmes sont alimentés par énergie renouvelable via un petit tampon d énergie sous la forme d un supercondensateur. La contributionprincipale est l exploration d une approche consciente de l énergie pour les supports d exécution intermittents. Tout d abord, nous proposons d utiliser les réseaux de Petri temporels à coût afin de modéliser de tels systèmes et nous proposons une extension de cette sémantique afin de résoudre un problème d ordonnancement maximisant une variable sous contraintede coût. En combinant le modèle proposé et une approche pire cas, nous générons un ordonnancement fiable pour les systèmes intermittents qui ne commence aucunes opérations sans la certitude de les finir vis-à-vis de l énergie disponible. Nous avons ensuite utilisé cet ordonnancement dans un support d exécution basé sur un système d exploitation temps-réelpour gérer l intermittence. Ce support d exécution utilise un modèle de consommation de l énergie du système intermittent afin de minimiser les opérations liées à l exécution intermittente et d assurer la continuité des opérations de l application malgré les interruptions fréquentes d alimentation. Ces travaux ont été jusqu à la mise en oeuvre pratique d un tel supportd exécution sur une étude de cas concernant la détection de chant des oiseaux | ||
| 330 | |a The work in this thesis focuses on the modeling and development of mechanisms to enable efficient execution on systems powered by intermittent energy such as wireless sensors. Such systems are powered by renewable energy via a small energy buffer in the form of a supercapacitor. The main contribution is the exploration of an energy-aware approach for intermittent runtimes. First, we propose to use cost time Petri nets to model such systems and we propose an extension of this semanticsto solve a scheduling problem maximizing a variable under cost constraint. By combining the proposed model and a worst-case approach, we generate a reliable scheduling for intermittent systems that does not start any operation without the certainty of finishing it with respect to the available energy. We then used this scheduling in an execution support based on a real-time operating system to manage intermittency. This runtime support uses a model of the intermittent system s energy consumptionto minimize the operations associated with intermittent execution and to ensure the continuity of the application s operations despite frequent power interruptions. This work has gone as far as the practical implementation of such execution support on a case study concerning the detection of birdsong. | ||
| 337 | |a Configuration requise : un logiciel capable de lire un fichier au format : PDF | ||
| 541 | | | |a Runtime support for intermittent computing |z eng | |
| 606 | |3 PPN18163080X |a Supercondensateurs |2 rameau | ||
| 606 | |3 PPN027674401 |a Petri, Réseaux de |2 rameau | ||
| 606 | |3 PPN027851877 |a Énergie |x Stockage |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 0 | |a Intermittent | |
| 610 | 0 | |a Sans-batteries | |
| 610 | 0 | |a Support d exécution | |
| 610 | 0 | |a Récolte d énergie | |
| 610 | 0 | |a Modélisation horsligne | |
| 686 | |a 620 |2 TEF | ||
| 700 | 1 | |3 PPN276485505 |a Bernabeu |b Antoine |f 1995-.... |4 070 | |
| 701 | 1 | |3 PPN066922836 |a Roux |b Olivier Henri |f 19..-.... |c professeur des universités IRCCyN |4 727 | |
| 701 | 1 | |3 PPN077263847 |a Faucou |b Sébastien |4 727 | |
| 701 | 1 | |3 PPN086961691 |a Briday |b Mikaël |f 1978-... |4 727 | |
| 701 | 1 | |3 PPN083964908 |a Klaudel |b Hanna |f 19..-.... |4 956 | |
| 701 | 1 | |3 PPN109182197 |a Chillet |b Daniel |f 19..-... |4 958 | |
| 701 | 1 | |3 PPN086811843 |a Grolleau |b Emmanuel |f 1973-.... |4 958 | |
| 711 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 295 |
| 711 | 0 | 2 | |3 PPN268274525 |a École doctorale Mathématiques et Sciences et Technologies du numérique, de l Information et de la Communication |c Nantes |c 2022-.... |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 20240322 |g AFNOR | |
| 856 | 4 | |q PDF |s 4699650 |u http://www.theses.fr/2023ECDN0039/document |z Accès au texte intégral | |
| 856 | 4 | |u http://www.theses.fr/2023ECDN0039/abes | |
| 856 | 4 | |u https://theses.hal.science/tel-04455224 | |
| 930 | |5 441092306:816102414 |b 441092306 |j g | ||
| 991 | |5 441092306:816102414 |a exemplaire créé automatiquement par STAR | ||
| 998 | |a 964920 | ||