Ce projet concerne la thèse de doctorat sur la spécification de la mémoire dans un langage de programmation synchrone utilisé pour concevoir et implémenter des systèmes critiques embarqués. Il s'appuie sur Scade, un langage dérivé de Lustre, et introduit des évolutions majeures telles que les automates hiérarchiques et les tableaux à taille statique. Le projet a pour but d'améliorer la verbosité des modèles, le contrôle de la compilation et la description des algorithmes.