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

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

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

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.