Virtual Machine Code for Embedded Systems

摘要

Virtual machine technology for embedded systems is a requisite software technology for download solutions such as mobile devices, digital TVs, etc. At present, a research of virtual machine for embedded systems named EVM is in progress. As a part of the research, we define SIL(Standard Intermediate Language), virtual machine code of EVM, which consists of pseudo codes and operation codes. We also prove the completeness of SIL by structurally mapping virtual machine codes widely used to SIL category.