随着物联网的快速发展,物联网服务系统在给人们带来便利的同时,也带来了极大的安全隐患,在运行中系统需要更多的安全保障。已有的运行时验证方案往往嵌入到物联网服务系统中,当系统受到入侵时因为缺乏相应的隔离性而不能对系统进行可靠的保障。本文介绍了一种运行时验证系统,基于高安全级别的虚拟化技术,将物联网服务系统部署在虚拟机中。通过控制虚拟机与外界通信渠道,从网络、串口、内存三个角度提取物联网服务系统运行事件,并对事件进行多来源融合,然后进行事件验证,最后根据安全策略反馈调节服务系统。本文的创新点首先在于事件采集于服务主机外部,对服务本身是透明的,具有高度的隔离性,能在物联网服务系统受到入侵时有更高的可靠性。在此之上本文创新性地将多来源提取的事件进行融合,提出一系列事件融合验证与事件重复、遗漏应对算法,解决了运行时验证系统与物联网服务系统分离带来的事件获取不精确问题。最后,本文将定理证明与运行时验证相结合,通过运行时实例化状态机节点变量来实现状态机的转移验证,规避了传统静态模型检测的效率问题。本文通过多种测试和实验来验证本文所述方法可靠性和高效性。