Programming microcontrollers through high-level abstractions: The OMicroB project

Steven Varoumas (1) , Basile Pesin (2, 3, 4) , Benoît Vaugon (5) , Emmanuel Chailloux (6)

1 Huawei Technologies Research & Development [Cambridge]
2 PSL - Université Paris Sciences et Lettres
3 DI-ENS - Département d'informatique - ENS Paris
4 Parkas - Parallélisme de Kahn Synchrone
5 Armadillo
6 APR - Algorithmes, Programmes et Résolution

In this paper, we present an approach for programming microcontrollers that provides more expressivity and safety than the low-level language approach traditionally used to program such devices. To this end, we provide various abstraction layers (abstraction of the microcontroller, of the electronic components of the circuit, and of concurrency) which, while being adapted to the scarce resources of the hardware, offer high-level programming traits for the development of embedded applications. The various presented abstractions make use of an OCaml virtual machine, called OMicroB, which is able to run on devices with limited resources. These take advantage of the expressivity and safety of the OCaml language (parameterized modules, advanced type system). Its extensibility allows to define a synchronous extension to manage concurrency while keeping a good level of efficiency at execution. We illustrate the value of our work on both entertainment applications and embedded software examples.

Mots clés: Microcontrollers; Virtual machine; High-level programming; OCaml; Functors; Synchronous programming

Domaines: Informatique [cs]

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux. Programming microcontrollers through high-level abstractions: The OMicroB project. Journal of Computer Languages, 2023, 77, pp.101228. ⟨10.1016/j.cola.2023.101228⟩. ⟨hal-04279767⟩