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

摘要：

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

关键词：面向监控的运行时验证、嵌入式软件、多核程序设计、软件分析与验证

所属期刊栏目：33

分类号：TP311(计算技术、计算机技术)

资助基金：教育部博士点基金项目20070287052;南京航空航天大学青年科技创新基金项目NS2010095

在线出版日期：2012-05-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：102-109