LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

GOMEZ Pascal

PhD graduated
Team : ALSOC
Departure date : 12/31/2006
Supervision : Frédéric PÉTROT

Outils pour le déploiement d'applications avec des contraintes de temps réel sur des multiprocesseurs sur puces

La technologie permettant l'intégration sur silicium de circuits numériques n'a cessé d'évoluer et permet désormais d'envisager des architectures comportant plusieurs dizaines de coeurs de processeurs sur un circuit unique. C'est ce que l'on appelle un /System on a Chip/ ou SoC. Ces circuits sont en général destinés à l'exécution d'une application unique, respectant le plus souvent des contraintes de temps réel. Cette thèse propose deux outils pour le déploiement de telles applications sur des SoC. Lorsqu'une application possède des contraintes de temps strictes il est essentiel de déterminer un majorant du pire temps d'exécution des éléments logiciels de cette application sur l'architecture cible. Pour cela nous proposons un outil basé sur une méthode de simulation avec des données symboliques. Pour effectuer cette simulation nous utilisons un simulateur de l'architecture cible précis au cycle, modifié pour l'exécution avec des données symboliques. Les données symboliques permettent de s'affranchir des données en entrée du programme, cependant elles entraînent la perte de certaines informations de contrôle du programme lors de l'exécution. Nous proposons l'utilisation d'un graphe de parcours des chemins pour déterminer ces informations. Nos résultats montrent qu'il est possible d'obtenir rapidement un majorant avec une faible surévaluation. La seconde partie de cette thèse traite de la conception d'un noyau multiprocesseurs temps réel. Le contexte particulier des multiprocesseurs sur puces: fortes contraintes sur la consommation électrique, capacité mémoire limitée et répartie et utilisation de micro-réseaux, qui supprime en pratique le goulot d'étranglement du bus système, nous a conduit à concevoir un micro-noyau adapté à ces architectures. Ce noyau permet le déploiement d'applications compatibles POSIX avec des contraintes de temps réel souples. Nos résultats montrent l'efficacité des solutions adoptées pour ce noyau et la facilité du déploiement sur une architecture cible.
Defence : 06/02/2006 - 14h - Site Jussieu
Jury members :
Mr Feautrier Paul [rapporteur]
Mme Puaut Isabelle [rapporteur]
Mr Greiner Alain
Mr Sentieys Olivier
Mr Ragot Dominique
Mr Pétrot Frédéric [directeur de thèse]

2001-2006 Publications

 Mentions légales
Site map |