Modélisation d`un processeur à exécution

THÈSE
THÈSE
En vue de l'obtention du
DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE
DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE
Délivré par l'Université Toulouse III - Paul Sabatier
Discipline ou spécialité : Informatique
JURY
Professeur Jean Paul Bodeveix
Professeur Bernard Goossens - Rapporteur
Professeur Pascal Sainrat – Directeur de Thèse
Professeur Smail Niar - Rapporteur
Ecole doctorale : EDMITT
Unité de recherche : Institut de recherche en Informatique de Toulouse
Directeur(s) de Thèse : Professeur Pascal Sainrat
Rapporteurs : Professeur GOOSSENS Bernard – Professeur NIAR Smail
Présentée et soutenue par Cédric Landet
Le 16 décembre 2009
Titre : Modélisation d'un processeur à exécution simultanée de flots pour
le temps réel strict

Remerciements
Je remercie Christine Rochange pour ces années d’encadrement, pour sa patience
et sa disponibilité. Pascal Sainrat pour son accueil dans l’équipe et ses conseils.
Je veux remercier aussi l’équipe du professeur Ungerer qui m’a accueilli lors de
mon séjour à Augsbourg. Elle m’a permis de mieux connaître CarCore qui est le centre
de mon travail.
Je remercie également Bernard Goosens et Smail Niar d’avoir accepté d’être les rap-
porteurs de mon travail. Merci pour leurs critiques constructives.
Je remercie encore Jean Paul Bodeveix d’avoir accepté de participer au jury de ma
thèse.
Je remercie aussi Tahiry Ratsiambaotra pour son aide précieuse dans l’utilisation
de GLISS. Merci pour les modifications qu’il a faites pour adapter cet outil aux besoins
de mon étude.
Merci aussi à Hugues Cassé qui a répondu sans se lasser à mes interrogations et
résolu mes quelques problèmes avec OTAWA.
Je remercie aussi l’équipe technique de l’IRIT, en particulier François Thiebolt pour
sa disponibilité et sa réactivité.
Je veux aussi remercier tous ceux qui m’ont soutenu pendant ces quatres années,
mes parents, mes amis, en particulier Paul Lacoste que j’ai sans doute parfois saoulé,
Mais aussi Clément Ballabriga pour son écoute quotidienne et sa bonne humeur.
Je veux aussi rendre hommage à Daniel Litaize, professeur à l’université Paul Saba-
tier, décédé pendant ma thèse et qui m’a transmis, pendant mes années d’études dans
cette université, ce goût pour l’architecture des ordinateurs.
iii

Je dédie cette thèse à mon grand père qui a si bien sû encadrer le début de mes
études et sans lequel je ne serais pas là aujourd’hui.
v