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

La proble matique aborde e dans ce travail est celle de la gestion me moire automatique pour des programmes Java temps-re el embarque s. En Java la gestion me moire est entie rement automatique, ce qui facilite conside rablement le de veloppement. Cependant, les techniques classiques de recyclage de la me moire, typiquement base es sur l'utilisation d'un ramasse-miettes, sont souvent conside re es comme inapplicables dans le contexte des applications temps-re el embarque es, car il est tre s difficile de pre dire leur temps de re 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 re sultats expe rimentaux ont montre que notre approche permet dans la plupart des cas de recycler la me moire de fac on satisfaisante, tout en pre sentant un comportement temporel pre visible.