Concurrent Programming of Microcontrollers, a Virtual Machine Approach

Steven Varoumas; Benoît Vaugon; Emmanuel Chailloux

Concurrent Programming of Microcontrollers, a Virtual Machine Approach

Steven Varoumas ^{1, 2, *} Benoît Vaugon ^{3, *} Emmanuel Chailloux ^{2, *}

* Corresponding author

1 CEDRIC - Centre d'études et de recherche en informatique et communications

2 APR - Algorithmes, Programmes et Résolution

LIP6 - Laboratoire d'Informatique de Paris 6

3 U2IS - Unité d'Informatique et d'Ingénierie des Systèmes

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

Domain :

Computer Science [cs] / Embedded Systems

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

paper_76.pdf

Files produced by the author(s)

Concurrent Programming of Microcontrollers, a Virtual Machine Approach

File

Identifiers

Collections

Citation

Export

Metrics

543

278

Contact

Concurrent Programming of Microcontrollers, a Virtual Machine Approach

File

Identifiers

Collections

Citation

Export

Share

Metrics

543

278

Contact