Vers des transformations d'applications à parallélisme de données en équations synchrones

Ce papier presente les premiers resultats d'une etude concernant la transformation d'applications a parallelisme de donnees en equations synchrones. Les applications considerees sont exprimees a l'aide du metamodele GASPARD qui etend le langage ARRAY-OL, dedie aux applications de traitement de donnees intensives. Le principe general des transformations envisagees est expose ainsi que les idees de mise en oeuvre. Les modeles synchrones resultants permettent d'aborder plusieurs questions liees a la validation formelle, par exemple, verification de proprietes de synchronisabilite, de latence, etc, en utilisant les outils et techniques formels offerts par la technologie synchrone. Ils permettent ainsi l'acces a des fonctionnalites complementaires avec celles de l'environnement associe a GASPARD, qui propose unemethodologie de conception conjointe materiel/logiciel de systemes integres sur puce. Les transformations suivront une approche d'Ingenierie dirigee par les modeles (IDM/MDE). Des perspectives sont mentionnees concernant l'introduction d'automates de controle au sein des modeles obtenus.