J4 ›› 2006, Vol. 28 ›› Issue (12): 114-117.
• 论文 • 上一篇 下一篇
姬孟洛[1] 齐治昌[2]
出版日期:
发布日期:
Online:
Published:
摘要：
通过在通用单调数据流框架基础上使用基于抽象解释的变量值范围传播技术，本文提出了一种自动获取循环最大迭代次数和不可行路径的方法。该方法有利于精确计算实时程 序最差情况下的执行时间（WCET）。
关键词: 实时系统 WCET 值范围分析 抽象解释
Abstract:
Based on the generic monotone dataflow framework, abstract interpretation is used to propagate the variable value range information. Based on the resu lt 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）.
Key words: real-time system;WCET;value range analysis;abstract interpretation
姬孟洛[1] 齐治昌[2]. 基于抽象解释自动导出针对WCET分析的程序流信息的方法[J]. J4, 2006, 28(12): 114-117.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2006/V28/I12/114
