Programming microcontrollers through high-level abstractions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Programming microcontrollers through high-level abstractions

Steven Varoumas
  • Fonction : Auteur
  • PersonId : 980093
Benoît Vaugon
  • Fonction : Auteur
  • PersonId : 999365

Résumé

In this paper, we present an approach for programming microcontrollers that provides more expressivity and safety than a 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 able to run on devices with limited resources and take advantage of the expressivity and extensibility of the language. We illustrate the interest of our work on both entertainment applications and embedded software examples.
Fichier non déposé

Dates et versions

hal-03154265 , version 1 (28-02-2021)

Identifiants

Citer

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux. Programming microcontrollers through high-level abstractions. VMIL 2020 - 12th ACM SIGPLAN International Workshop on Virtual Machine and Intermediate Languages, Nov 2020, Chicago / Virtual, United States. pp.5-14, ⟨10.1145/3427765.3428495⟩. ⟨hal-03154265⟩
146 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More