运行时验证中的减少监控开销方法研究  

On Reducing Monitoring Overhead in Runtime Verification

作　　者：徐胜[1] 叶俊民[1] 陈曙[1] 金聪[1] 陈盼[1] 

机构地区：[1]华中师范大学计算机学院,武汉430079

出　　处：《计算机科学》2016年第5期162-168,共7页Computer Science

基　　金：国家科技支撑计划项目(2015BAK33B00);教育部人文社会科学研究规划基金(15YJA880095);中央高校基本科研业务费专项资金科研项目(CCNU15GF003)资助

摘　　要：运行时验证中的一个重要研究内容就是减少监控开销,以达到运行时开销对系统影响最小化的目标。总结了近年来运行时验证中减少监控开销技术的研究发展,首先介绍了运行时开销控制的研究现状;然后详细介绍了运行时开销减少的具体方法;最后分析了运行时开销控制技术面临的主要挑战,并对该领域未来的研究方向进行了展望。A most important issue in the field of runtime verification is reducing monitoring overhead.How to reduce the monitoring overhead to minimize its influence on the system is one of the essential objectives.In this paper,monitoring methods and research status of runtime overhead control were first introduced.Then several computation methods of overhead costs were analyzed to optimize the monitoring mode.Finally,the current challenges and the future research directions of overhead control in runtime verification were further discussed.

关 键 词：运行时验证 监控开销 开销控制 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]