Synthèse de gestionnaires mémoire pour Java temps-réel embarqué

La problématique abordée dans ce travail est celle de la gestion mémoire automatique pour des programmes Java temps-réel embarqués. En Java la gestion mémoire est entièrement automatique, ce qui facilite considérablement le développement. Cependant, les techniques classiques de recyclage de la mémoire, typiquement basées sur l’utilisation d’un ramasse-miettes, sont souvent considérées comme inapplicables dans le contexte des applications temps-réel embarquées, car il est très difficile de prédire leur temps de réponse. Dans cette thèse nous proposons une technique combinant d'une part une analyse statique de code et d'autre part un mécanisme d'allocation dynamique en régions, permettant ainsi de se passer complètement de ramasse-miettes. Les résultats expérimentaux ont montré que notre approche permet dans la plupart des cas de recycler la mémoire de façon satisfaisante, tout en présentant un comportement temporel prévisible.