r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)
r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)
复制标题
r-TuBound：WCET 分析的循环边界（工具论文）
DOI：
10.1007/978-3-642-28717-6_34
复制
发表时间：
2012
影响因子：
1.4
通讯作者：
Jakob Zwirchmayr
中科院分区：
文献类型：
--
作者：
J. Knoop;L. Kovács;Jakob Zwirchmayr
我们描述了一个新的软件工具的结构和用法，称为r-TuBound，用于在程序的最坏情况执行时间（WCET）分析中推导符号循环迭代边界。r-TuBound实现了基于模式的递归求解和程序流优化算法，并在广泛的示例中成功地进行了测试。本文的目的是说明r-TuBound可以做什么，以及如何使用它来派生程序的WCET。
We describe the structure and the usage of a new software tool, called r-TuBound, for deriving symbolic loop iteration bounds in the worst-case execution time (WCET) analysis of programs. r-TuBound implements algorithms for pattern-based recurrence solving and program flow refinement, and it was successfully tested on a wide range of examples. The purpose of this article is to illustrate what r-TuBound can do and how it can be used to derive the WCET of programs.