| 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 |
||