[VVC16] Concurrent Programming of Microcontrollers, a Virtual Machine Approach
Conférence Internationale avec comité de lecture :
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016),
March 2016,
pp.711-720,
Toulouse,
France,
Mots clés: Microcontrôleurs, Langages synchrones, Compilateur
Résumé:
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.