| 基于抽象解释自动导出针对WCET分析的程序流信息的方法 |
| |
| 引用本文： | 姬孟洛,齐治昌. 基于抽象解释自动导出针对WCET分析的程序流信息的方法[J]. 计算机工程与科学, 2006, 28(12): 114-117 |
| |
| 作者姓名： | 姬孟洛 齐治昌 |
| |
| 作者单位： | 中和威软件有限公司,北京,100081;国防科技大学计算机学院,湖南,长沙,410073 |
| |
| 摘 要： | 通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术，本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程序最差情况下的执行时间（WCET）。
|
| 关 键 词： | 实时系统 WCET 值范围分析 抽象解释 |
| 文章编号： | 1007-130X(2006)012-0114-04 |
| 修稿时间： | 2005-04-01 |
Automatic Deriving Program Flow Information for the WCET Analysis Based on Abstract Interpretation |
| |
| JI Meng-luo,Qi Zhi-chang. Automatic Deriving Program Flow Information for the WCET Analysis Based on Abstract Interpretation[J]. Computer Engineering & Science, 2006, 28(12): 114-117 |
| |
| Authors: | JI Meng-luo Qi Zhi-chang |
| |
| 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). |
| |
| Keywords: | WCET |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
