Runtime support for intermittent systems
Antoine Bernabeu · HAL (Le Centre pour la Communication Scientifique Directe) · 2023
Les travaux présentés dans ce mémoire ont été effectués au sein du laboratoire des sciences du numérique de Nantes (LS2N).Je remercie le personnel du laboratoire pour m'avoir accueilli.Je remercie particulièrement mes encadrants de thèse, Olivier Roux, Mikaël Briday, Sébastien Faucou ainsi que Jean-Luc Béchennec pour leurs implications dans mes travaux mais également pour leurs disponibilités.Nos discussions m'ont beaucoup appris sur les systèmes informatiques à plusieurs niveaux, que ce soit matériel ou logiciel.Je voudrais adresser mes remerciements à Daniel Chillet et Emmanuel Grolleau pour avoir accepté de rapporter mes travaux.Je remercie également Hanna Klaudel pour avoir accepté d'évaluer cette thèse.Je tiens également à remercier Vincent Lostanlen pour son implication dans une aventure mêlant plusieurs disciplines et qui je l'espère sera poursuivie et aboutira à de merveilleux travaux.Merci à Laurent Godet de m'avoir fait découvrir la discipline de l'écoacoustique.Je remercie tous les membres de l'équipe Temps-Réel pour leurs retours sur mes travaux mais également pour les nombreuses discussions autour d'un café.Un merci également aux membres de l'équipe Signal Image et Son du LS2N pour leurs entrain, et aussi pour leur efficacité à créer des évènements festifs.Un grand merci aux doctorants du LS2N que j'ai côtoyés pour toutes ces pauses et ces moments de convivialité, trop nombreux pour être cité un par un, je vous fais un grand merci groupé.Enfin, merci à mes parents et à mon frère pour leurs soutiens.5 Prototype de système intermittent 5.1 Description du prototype . . . . . . . . . . . . . . . . . . . . . . . . . . . .