An Esterel Virtual Machine (EVM)

Esterel is a synchronous, imperative language designed to specify deterministic control systems. However compilers and run time environments for Esterel are not available on low cost microprocessors and microcontrollers. We address this short-coming by designing and implementing an Esterel Virtual Ma-chine and compiler that will operate on a variety of low foot-print target platforms. We will compare the efficiency of this approach to the traditional approach of generating native code. We will show that it requires less memory at the cost of exe-cution speed.