Design and implementation of the secure compiler and virtual machine for developing secure IoT services

A Study on the Light-Weight Virtual Machine Code for IoT Virtual Machine

“…Our previous virtual machines for smart devices and HTML5 platform are used 2bytes length opcode with variable length arguments for handling many optimization opcodes [1,4]. Thus, the required memory size for loading and processing the program code is larger than the virtual machine that has an only 1byte-length opcode, and it is one of the major reason that inefficient executional performance of the virtual machine using low computing powered IoT devices as a host target hardware platform.…”

“…In this paper, we verify the RISL's opcode and metadata by generating RSIL as the target intermediate code for the C / C ++ compiler [3,4]. Tables 4 and 5 show source programs for N-Queen problem and Prime number with generated the RSIL programs.…”

“…The light-weighted IoT virtual machine is a stack-based virtual machine that was designed to execute on the low computing powered IoT devices by the cloud-based offloading method [4,[7][8][9][10][11]. Moreover, it was designed to be very small computing resources required for target devices that have restricted resources.…”

“…In this paper, we propose the RSIL (Reduced Smart Intermediate Language) that improved from the previous SIL (Smart Intermediate Language) [1][2][3][4][5][6][7] with byte-level intermediate opcode to resolve two issues; restricted resources of IoT devices and a large number of optimization specific codes. …”

Developing a Multiplatform Control Environment

“…For example, WEB PLC Simulator [41] executes control algorithm and plant model written in ST. HT-PLC [26] runs LD programs on Arduino with Ethernet. Among relevant solutions in other areas one may mention securityoriented IoT environment [32] involving SIL intermediate language, C/C++/Java-to-SIL compiler and VM.…”