Design and Implementation of the RSIL to LLVM IR Translator for Verification of the Intermediate Code on IoT Virtual Machine

Abstract

© 2017 SERSC Australia. Internet of Things (IoT) refers to the technology that connects sensors to the Internet by incorporating sensors and communication functions into various objects. Recently, such IoT devices are used in various fields such as defense, finance, and manufacturing, and virtual machines that are operated in IoT devices are being developed in order to develop IoT applications using a programming language that has been used in the past. In this paper, we proposed the RSIL (Reduced Smart Intermediate Language) to LLVM IR code translator, which can convert RSIL to LLVM IR for verification of RSIL, the executable code of LWVM (Light Weight Virtual Machine) on IoT environments. Using proposed translator, we verified the operational semantics of RSIL by comparison the same execution result as RSIL execution result.