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

https://hal.archives-ouvertes.fr/hal-01292266
Contributor : Marc Boyer <>
Submitted on : Tuesday, March 22, 2016 - 5:07:48 PM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM
Long-term archiving on : Monday, November 14, 2016 - 1:57:07 AM

File

paper_76.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01292266, version 1

Citation

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⟩

Share

Metrics

Record views

543

Files downloads

278