analyse et contrôle des interférences liées à la cohérence de cache dans les multi-cœurs cots

par Nathanael Sensfelder

Projet de thèse en Informatique et Télécommunications

Sous la direction de Claire Pagetti et de Julien Brunel.

Thèses en préparation à Toulouse, ISAE , dans le cadre de École doctorale Mathématiques, informatique et télécommunications , en partenariat avec ISAE-ONERA MOIS MOdélisation et Ingénierie des Systèmes (laboratoire) et de ONERA/DTIS/MITT - Département Traitement de l'Information et Systèmes (equipe de recherche) depuis le 03-10-2017 .


  • Résumé

    Creation d'une approche formelle pour l'analyse des interferences liees a la gestion du cache dans les processeurs multi-cores. Ces travaux se place dans le contexte du projet Phylog, dont l'objectif est de fournir des outils formelles d'aide a la certification de multicores dans le domaine aeronautique.

  • Titre traduit

    analysis and control of cache coherence interference in multi-core cots platforms


  • Résumé

    Develop a formal approach to analyze how the use of caches in a multi-core processor generates interferences. This work is part of the Phylog project, which aims at providing formal tools to help the certification of multi-core processors for aeronautical systems.