多核处理器架构下面向监控的软件运行时验证方法研究

Research on Monitoring-oriented Runtime Verification Method Based on Multi-core Architecture

面向监控的软件运行时验证(Monitor-oriented Runtime Verification:MRV)方法可以有效的提高系统可靠性,但是在传统基于单核处理器架构的嵌入式系统中采用MRV方法会给目标系统性能造成较大的影响.本文对基于多核处理器架构的MRV方法进行了初步研究,分析并设计了在线验证、离线验证以及单监视器设计与多监视器设计等多种模式的MRV方法,给出了相应的MRV实现方案,并在几个开源项目中进行了MRV实例应用.实验数据分析表明,在不同模式下,基于多核处理器架构的MRV方法能够从不同程度上有效提高系统运行时验证的性能.本文工作为进一步设计有效的多核架构下MRV方法提供了基础.

Monitor-oriented Runtime Verification （ MRV ） methods are used to be considered as effectively ways to increase software system reliability. However, in the case of traditional embedded systems, which are based on single-core processor architecture, it may cause great losses of system performance. In this paper, we adopt multi-core processor architecture which is recently utilized in many embedded computing systems to do some new preliminary explorations of MRV. Specifically, two kinds of MRV framework based on multi-core architecture are designed and analyzed, including in-line and out-line verification modes. And single-monitor and multi-monitor MRV instances are also designed. Furthermore, in order to check the multi-core MRV methods, several corresponding implementations are provided and applied into several open source projects. The results of experiments show that MRV based on multi-core architecture can improve the performance of run-time verification of the system effectively under different verification modes. Our work gives a foundation for further research of how to design good multi-core MRV methods.