TELECOM ParisTech

T
H
È
S
E
2015-ENST-0034
EDITE - ED 130
Doctorat ParisTech
THÈSE
pour obtenir le grade de docteur délivré par
TELECOM ParisTech
Spécialité « Informatique »
présentée et soutenue publiquement par
Xavier JEAN
le 18 juin 2015
Maîtrise de la couche hyperviseur sur les processeurs
multi-cœurs COTS dans un contexte avionique
Directeur de thèse : Laurent PAUTET
Co-encadrant de la thèse : Thomas ROBERT
Encadrant industriel : Marc GATTI
Co-encadrant industriel : David FAURA
Jury :
M. Yves MATHIEU,Professeur, Telecom ParisTech Président
M. Laurent GEORGE,Professeur, Université Paris Est Marne la Vallée Rapporteur
M. Alain MÉRIGOT,Professeur, Université Paris Sud Rapporteur
Mme. Claire PAGETTI,Ingénieur de recherche HDR, Onera, Toulouse Examinatrice
M. Mathieu JAN,Ingénieur - Chercheur, CEA Saclay Examinateur
M. Laurent PAUTET,Professeur, Telecom ParisTech Directeur de thèse
M. Thomas ROBERT,Maître de conférence, Telecom ParisTech Co-encadrant
M. Marc GATTI,Directeur de l’innovation, Thales Avionics Encadrant industriel
TELECOM ParisTech
école de l’Institut Mines-Télécom - membre de ParisTech
46 rue Barrault 75013 Paris - ([phone] - www.telecom-paristech.fr

ii ©2015 Xavier Jean

– “Papa, c’est quoi ta thèse ?”
– “Ça parle d’avions et d’ordinateurs, Manu”
– “Pourquoi ?”
– “Parce qu’aujourd’hui, les avions sont contrôlés par des ordinateurs
et qu’il faut les rendre sûrs, mais aussi plus efficaces. C’est pour cela
que l’on veut utiliser des processeurs multi-cœurs.”
– “Pourquoi ?”
– “Parce que comme ça on peut exécuter plusieurs logiciels en même
temps. Le problème, c’est que ces logiciels interfèrent, donc c’est diffi-
cile de savoir si l’ordinateur est vraiment sûr.”
– “Pourquoi ?”
– “Parce qu’ils utilisent des ressources du processeur en même temps,
et qu’on ne sait pas comment le processeur partage ces ressources.”
– “Pourquoi ?”
...
02/05/2015
Extrait d’une conversation avec Manu.
©2015 Xavier Jean iii

iv ©2015 Xavier Jean

Remerciements
Ma thèse est finie.
Ouf !
La côte était à quatre contre un.
Et pourtant, que ce furent de belles années. Et beaucoup de gens y ont contribué.
∗∗∗
Mes premiers remerciements iront à mon jury. Je tiens à remercier M. Yves Mathieu,
qui a eu la gentillesse de le présider, mes rapporteurs, MM. Laurent George et Alain
Mérigot, qui ont relu mon manuscrit avec une attention et une bienveillance qui m’ont
touché, et enfin mes examinateurs, Mme. Claire Pagetti et M. Mathieu Jan, qui ont
contribué à faire de la soutenance un moment agréable.
Je remercie également mes encadrants, Marc Gatti, David Faura, Thomas Robert et
Laurent Pautet, pour leur accompagnement tout au long de cette thèse. On dit souvent
que la thèse est un parcours initiatique pour le thésard, mais c’est également une épreuve
de patience pour ses encadrants.
∗∗∗
J’ai connu trois lieux de travail pendant ma thèse, et j’ai eu la chance de pouvoir
m’épanouir dans chacun de ces endroits et d’y faire des amitiés durables.
Je pense en premier lieu à mes amis stagiaires, doctorants, post-doctorants ou perma-
nents au sein du département INFRES à Telecom ParisTech. De manière non exhaustive,
je remercie Cuauhtemoc C., Elie R., Simon P., Smail R., Romain G., Antoine J., Antoine
S., Guang Z., Gilles L., Sylvain F., Jonathan M., Imen b.D, Bertrand M., Marilena O.,
Sébastien G., Etienne B., Nora D., Damien M., Asma S., Sarah N., Grzegorz L., Robin
D., Quentin R., Azin A., Siwar R., Paul-Louis A.. Vous contribuez – ou avez contribué –
à faire de ce laboratoire un lieu de convivialité où il fait toujours bon venir. Un mot de
remerciement également pour Florence Besnard pour sa disponibilité et sa gentillesse au
secrétariat de l’EDITE.
Une pensée pour mes anciens collègues de Thales Avionics, Thomas M., Anthony
R., Vincent B., Patrice T., Antoine M., Yves M., Patrick D., Philippe L., Philippe Bu.,
Philippe Bi., Sébastien C., Xavier M., Martin R., Paul B., Vincent S., Stéphane B.,
Guy B., Joël B., Didier R., Valentin B., Henri L., Vanessa M., Alexandre G., Simon F.,
Alexandre T., Nicolas B. Vous avoir a été une grande richesse pour m’imprégner de la
culture du domaine avionique. Vous avez aussi été d’un grand soutien dans les moments
©2015 Xavier Jean v