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.