Soutenance de thèse de Antoine BERNABEU

Antoine BERNABEU, doctorant au sein de l’équipe STR, présentera sa thèse intitulée :

« Support d’exécution pour les systèmes intermittents »  /  « Runtime support for intermittent computing »

Le vendredi 15 décembre à 10h45 dans l’amphithéâtre du bâtiment S à l’École Centrale de Nantes.

Voici le lien zoom pour celles et ceux qui ne pourront pas être sur site : https://ec-nantes.zoom.us/j/97371275650 

Jury :
M. Jean-Luc BÉCHENNEC, Chargé de recherche, CNRS, invité
M. Mikaël BRIDAY, Maître de conférences, École Centrale de Nantes, co-encadrant
M. Daniel CHILLET, Professeur des universités, Université de Rennes, rapporteur
M. Sébastien FAUCOU, Maître de conférences, Nantes Université, co-encadrant
M. Emmanuel GROLLEAU, Professeur des universités, ISAE-ENSMA, rapporteur
Mme Hanna KLAUDEL, Professeure des université, Université Paris Saclay, examinatrice
M. Olivier H. ROUX, Professeur des universités, École Centrale de Nantes, directeur de thèse

Résumé : 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.

Mots-clés :  calcul intermittent, internet des objets, réseaux de Petri temporels, support d’exécution

Abstract: 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 semantics to 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 consumption to 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.

Key words : intermittent computing, internet of things, Petri net, runtime