Concurrent Programming of Microcontrollers, a Virtual Machine Approach
Concurrent Programming of Microcontrollers, a Virtual Machine Approach
复制标题
微控制器的并发编程，一种虚拟机方法
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
E. Chailloux
中科院分区：
文献类型：
--
作者：
S. Varoumas;Benoît Vaugon;E. Chailloux
微控制器是一种低成本、高能效的可编程集成电路，广泛应用于许多常见的电子设备中，但由于资源有限，编程难度较大。由于特别适用于嵌入式系统，它们与周围环境的交互非常频繁，需要对外界的刺激做出快速反应。在本文中，我们研究了编程微控制器的不同并发模型，使用了安全的虚拟机方法以及更高级别的编程模型。然后，我们提出了OCaLustre，它是OCaml的一个同步扩展的原型，适用于微控制器上的并发编程。
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.