BLIN Antoine

PhD graduated
Team : Whisper
Departure date : 10/31/2018

Supervision : Gilles MULLER

Co-supervision : SOPENA Julien

Towards an efficient use of multi-core processors in mixed criticality embedded systems

Complex embedded systems today commonly involve a mix of real-time and best-effort applications integrated on separate microcontrollers thus ensuring fault isolation and error containment. However, this solution multiplies hardware costs, power consumption and thermal dissipation.
The recent emergence of low-cost multi-core processors raises the possibility of running both kinds of applications on a single machine, with virtualization ensuring isolation. Nevertheless, the memory hierarchy on such processors is shared between all cores. Memory accesses done by a real time application running on one dedicated core can be slowed down by concurrent memory accesses initiated by best effort applications running in parallels. Therefore real time applications can miss their deadlines.
In this thesis, we propose a run-time software-regulation approach that aims to maximize parallelism between real-time and best-effort applications running on a single low-cost multicore ECU. Our approach uses an overhead estimation derived from offline profiling of the real-time application to estimate the slow down on the real-time application caused by memory interferences. When the estimated overhead reaches a predefined threshold, our approach suspends the best-effort applications, allowing the real-time task to continue executing without interferences. Suspended best-effort applications are resumed when the real-time application ends its current activation.

Defence : 01/30/2017 - 14h - Site Jussieu 25-26/105

Jury members :

Mme Claire Pagetti, Ingénieur de recherche-HDR, ONERA [Rapporteur]
Mme Isabelle Puaut, Directrice de recherche, Inria [Rapporteur]
Mme Béatrice Bérard, Professeur, Université Pierre et Marie Curie
M. Marc Gatti, Directeur recherche & technologie, Thales
Mme Sophie Quinton, Chargés de recherche, Inria
M. Gilles Muller, Directeur de recherche, Inria
M. Julien Sopena, Maître de conférences, Université Pierre et Marie Curie

2014-2021 Publications