OMicroB : OCaml sur microcontrôleurs

Équipe : APR

OMicroB est une implémentation spécialisée de la machine virtuelle OCaml conçue pour fonctionner sur des microcontrôleurs aux ressources limitées. Cette implémentation peut en effet exécuter des programmes OCaml non triviaux sur de petits microcontrôleurs, et fournit au développeur de logiciels embarqués tous les paradigmes de programmation de haut niveau du langage OCaml (fonctionnel, impératif, modulaire, orienté objet) ainsi qu'une sécurité accrue grâce au typage statique et à la gestion automatique de la mémoire. La chaîne de compilation d’OMicroB prend un exécutable en byte-code directement produit par le compilateur OCaml et après plusieurs passes d’analyse (détection de code mort, évaluation partielle, …) produit un code C standard embarquant la VM, sa bibliothèque d’exécution et le byte-code transformé. Ce code C produit, hautement portable, cible différentes architectures de microcontrôleurs et peut être compilé et exécuté sur un PC standard à des fins de simulation et de débogage.

Responsable : Emmanuel CHAILLOUX
https://github.com/stevenvar/OMicroB