Research And Implementation Of Runtime Verification For Virtualization Oriented Internet Of Thiings Service System

The Internet of Things (hereinafter referred to as IoT) is the Internet with interconnection between things, it is the extension and expansion of the Internet,but its core and foundation is still the Internet. With the change of system pattern of IoT from closeness to openness, as well as the increasingly complicated runtime environment, the safety problem of IoT has caused wide concern. The rapid development of IoT has brought convenience to people, but it also brought about great potential safety hazard. The monitoring program and target service system of traditional security technology for IoT have been deployed in one system, so the security of the technology cannot be guaranteed, thus affecting the security and reliability of the target service system. Aimed at the above issue,based on the analysis of security technology for traditional IoT and the virtualization technology, the safety verification system fitter for the runtime environment of IoT was put forward in this paper.In this paper, the runtime verification system was studied mainly in four aspects. First, the memory information of I/O service system was obtained from outside of the virtual machine, and semantic reconstruction was carried out on the runtime state and running track. Second, intercept, analysis and events extraction were conducted via I/O control on the information sent by I/O service system.Third, trajectory simulation was conducted on events based on the model of I/O service system, meanwhile, trajectory correcting was carried out according to the semantically reconstructed running information of I/O service system. Fourth,corresponding security automaton was constructed according to the formulated strategies, validity verification was carried out on the runtime simulation track of I/O service system, and corresponding actions were generated based on the verification results.This system integrates I/O control, semantic reconstruction, trajectory simulation and security automatic verification into an organic whole, and an isolated runtime verification framework for IoT service system was built. The design philosophy of the runtime verification system was elaborated in this paper,and system implementation was carried out. Finally, the availability and effectiveness of the system were verified by experiments.Comprehensive functional test and performance test on the entire runtime verification system were carried out in this paper. In terms of functional test,firstly the functions of separate modules were tested; then a target service program simulating industrial control system was designed as the test case, so as to carry out functional test on the entire system. In terms of performance test, the processing performance and the real-time performance were tested, and the accuracy of the test data was estimated. Experimental result showed that the runtime verification system meets the requirements of industrial control system.