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