Skip to Main content Skip to Navigation
Conference papers

Concurrent Programming of Microcontrollers, a Virtual Machine Approach

Abstract : Microcontrollers are low-cost and energy efficient programmable integrated circuits, they are used in a lot of common electronic devices but are quite difficult to program because of very limited resources. Being particularly used for embedded system, they interact a lot with their environment, and should react quickly to external stimuli. In this paper, we study different models of concurrency for programming microcontrollers using a virtual machine approach for safety as well as a higher-level model of programming. We then propose OCaLustre, the prototype of a synchronous extension to OCaml suitable for concurrent programming on microcontrollers.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download
Contributor : Marc Boyer <>
Submitted on : Tuesday, March 22, 2016 - 5:07:48 PM
Last modification on : Friday, January 8, 2021 - 5:32:06 PM
Long-term archiving on: : Monday, November 14, 2016 - 1:57:07 AM


Files produced by the author(s)


  • HAL Id : hal-01292266, version 1


Steven Varoumas, Benoît Vaugon, Emmanuel Chailloux. Concurrent Programming of Microcontrollers, a Virtual Machine Approach. 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.711-720. ⟨hal-01292266⟩



Record views


Files downloads