Contact : Thomas Carle

Email : thomas.carle@irit.fr

Organisation : IRIT

Année : Master 1

Sélectionnez la durée : 2 mois

Injection automatique de code assembleur de synchronisation pour applications critiques multicoeurs Description du stage: Dans le cadre de ses recherches, l'équipe TRACES de l'IRIT développe un prototype basé sur l'outil d'analyse statique de code OTAWA et permettant de générer des applications critiques de façon sûre pour les architectures multicœur. Ce prototype est basé sur une méthode nécessitant l'injection de boucles de synchronisation (attente active) à des endroits précis dans le code binaire de l'application critique.

Pendant ce stage, l'étudiant(e) développera la partie du prototype concernant l'injection automatique de telles boucles de synchro dans du code désassemblé, en assurant un placement à des adresses paramétrables au code injecté.

Mots-clé : Temps-réel critique, synchronisation, assembleur, injection automatique de code