Description
Date depot: 1 janvier 1900
Titre: Optimisation de la taille des mémoires tampons pour des applications modélisées par un système Dataflow à fonctionnement irrégulier
Directrice de thèse:
Alix MUNIER (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
La conception de systèmes embarqués est un processus industriel
central qui pose de nombreux problèmes d'optimisation. Dans ce
contexte, le formalisme des Synchronous Data Flow (en abrégé SDF),
introduit en 1987 par Lee et Messerschmitt pour modéliser une
application concurrente à exécuter sur une architecture parallèle,
est devenu un standard utilisé à la fois dans l'industrie et dans la
recherche pour étudier et simuler ces applications.
Une des principales limitations de ce modèle est que le comportement
des applications considérées est statique. Pour pallier à ce
problème, de nombreux auteurs ont étendu ce formalisme de sorte à
modéliser des applications avec un comportement dynamique. Le
principal inconvénient est que ces extensions ne permettent plus une
étude prédictive des systèmes et ne sont généralement utilisées que
pour accélérer leur simulation.
Le but de cette thèse est de développer un ensemble d'outils
algorithmiques pour évaluer la vivacité et le débit dans le pire des
cas pour deux extensions dynamiques des SDF qui permettent une
extension significative de leur pouvoir de modélisation. Ces outils
seront utilisés pour le développement d'algorithmes originaux pour le
problème du dimensionnement des mémoires tampons sous contrainte de
débit. Ils seront validés à la fois d'une manière théorique (par la
démonstration d'un ratio d'approximation à chaque fois que cela sera
possible) et sur un ensemble de jeux d'essais académiques ou
industriels.
Cette thèse est financée sur le projet DIM LSC TATAMI. Elle doit être réalisée en co-direction entre d'un part Jean-Marc Delosme (IBISC, Université Evry Val d'Essonne) et Alix Munier Kordon (LIP6, Université Paris 6).
Doctorant.e: Hujsa Thomas