Design and verification of secure IoT hub based on virtual SoC platform

Abstract

This paper describes about the design and verification of Secure IoT hub platform using the SoC Virtual Platform (SVP) oriented design methodology. Secure IoT virtual SoC platform is designed as a software oriented system which can fully mirror the functionality of real System-on-Chip. This virtual platform combines both processor model(s) and high-level fully functional models of the various peripheral blocks. Key objective of this design is to provide an abstract, executable representation of the IoT hub hardware to both software developers and system architects in advance. Virtual platform's ability to provide full visibility and controllability of software running on it, enables to unveil bugs which could be difficult with a same real hardware platform. The secure IoT hub virtual platform deployed on a host PC can communicate with physical IoT devices by using the semi-hosting library mechanism. Furthermore, it also functions to enhance the security level of communication between IoT enabled devices' with the help of advanced cryptographic methods such as AES, ARIA, SHA and ECC.