Acropolis: un Précompilateur de la Spécification pour l'Exploration du Transfert et du Stockage des Données en Conception de Systèmes Embarqués à Haut Dieit