abstract :
La plateforme O2B (OCaml On Board) est une implémentation
de la machine virtuelle OCaml dérivée d'OMicroB. Elle permet
d'exécuter les programmes OCaml sur des circuits logiques
programmables de type FPGA (Field-programmable gate array)
par l'intermédiaire d'un processeur softcore.
La bibliothèque d'exécution d'O2B, écrite en C, donne alors
accès à des fonctions externes, directement implantées au
niveau « portes logiques », afin de les appeler en OCaml.
La programmation de ces fonctions pose cependant un certain
nombre de difficultés, tant du point de vue de la sûreté
d'exécution, de l'expressivité offerte au programmeur et de
l'efficacité des circuits engendrés par les outils de synthèse.
C'est pourquoi nous concevons Macle (autoMata-based AppliCative
LanguagE), un langage de programmation fonctionnel-impératif
dédié à la programmation de ces fonctions externes. Cet exposé
présente le noyau de Macle, sa compilation vers des produits
d'automates synchrones et l'intéropérabilité entre Macle et OCaml.