基于抽象解释自动导出针对WCET分析的程序流信息的方法  

Automatic Deriving Program Flow Information for the WCET Analysis Based on Abstract Interpretation

作　　者：姬孟洛 齐治昌[2] 

机构地区：[1]中和威软件有限公司,北京100081 [2]国防科技大学计算机学院,湖南长沙410073

出　　处：《计算机工程与科学》2006年第12期114-117,128,共5页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60303013)

摘　　要：通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术,本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间(WCET)。Based on the generic monotone dataflow framework, abstract interpretation is used to propagate the variable value range information. Based on the result of the analysis, this paper presents a new method to automatically compute the maximal count of iterations of the loops and to identify the infeasible paths in the loops. This method facilitates the accurate calculation of Worst-Case Execution Time （WCET）.

关 键 词：实时系统 WCET 值范围分析 抽象解释 

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