Ecole doctorale MathSTIC Bretagne Océane
Mathématiques et STIC en Bretagne Océane

Titre du sujet de thèse

VERGER/Aide à la Validation tEmpoRelle des logiciels critiques GERICOS de l’observatoire de Paris dans un contexte d’architectures multicoeurs

Thesis title

VERGER : Early Timing Verification of GERICOS multicore critical software

Description du sujet de thèse / Full thesis description

Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
Singhoff Frank

Rubini Stéphane
Informatique et Architectures numériques CNES (50 % , Acquis)
Brest Métropole (50 % , Acquis)
Unité(s) de recherche associée(s) / Associated research unit(s) :
Lab-STICC, UMR CNRS 6285 Laboratoire des Sciences et Techniques de l’Information, de la Communication et de la Connaissance (Lab-STICC)

Télécharger les descriptions complètes : Français : VERGER2023_fr.pdf
English : VERGER2023_en.pdf

Candidatures closes depuis le / Candidates closed since : 26/5/2023