Titre : Les microcontrôleurs PIC programmés en Objective Caml 


Auteur : Benoit Vaugon (UPMC)

Abstract :

Les PICs sont des circuits intégrés programmables disponibles à bas
prix et utilisés couramment en électronique. La contrainte principale
de programmation vient du matériel lui-même car les PICs possèdent une
architecture assez exotique et disposent de très peu de mémoire
dynamique.  OCaml est un langage de programmation multi-paradigme de
haut niveau à la ML, orienté vers la programmation d'applications
sûres.  Il sera donc présenté les différentes étapes qui ont permis de
porter le langage OCaml sur PIC, à savoir la programmation d'une
machine virtuelle et d'une bibliothèque d'exécution OCaml en
assembleur PIC, l'écriture d'un compresseur de bytecode OCaml basé
entre autre sur l'élimination de code mort, l'adaptation de la
bibliothèque standard OCaml au monde des PICs, et l'écriture d'un
simulateur de programmes OCaml sur PIC.