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

作者：张剑; 胡军; 郭丽娟

来源：小型微型计算机系统, 2012, (01): 102-109.

• 面向监控的运行时验证
• 嵌入式软件
• 多核程序设计
• 软件分析与验证 monitoring-oriented runtime verification
• embedded software
• multi-core programming
• software analysis and verification

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学; 南京航空航天大学