Résumé :

Cet exposé portera sur la conception et l’implantation d’applications embarquées réactives et de calcul intensif sur du matériel reconfigurable FPGA (Field Programmable Gate Array).
Il présentera Eclat : un langage de programmation parallèle généraliste (inspiré d’OCaml) avec un sémantique synchrone dérivée de l’horloge physique du FPGA cible.
Eclat permet de programmer (et composer) à la fois des calculs orientés flot de contrôle et des interactions orientées flot de données. Le modèle de calcul proposé est suffisamment précis et expressif pour développer des abstractions de programmation de haut niveau (telles que des squelettes algorithmiques et des machines virtuelles) avec des performances prédictibles. Cela vise à répondre aux besoins d’efficacité et aux contraintes de sûreté des applications matérielles, notamment temps réel. Eclat se veut accessible aux programmeuses et programmeurs de logiciel ; il est d'ailleurs utilisé comme langage support dans un cours de compilation.