Abstract
Static analysis can be used to determine safe estimates of Worst Case Execution Time. However, overestimation of the number of loop iterations, particularly in nested loops, can result in substantial pessimism in the overall estimate. This paper presents a method of determining exact parametric values of the number of loop iterations for a particular class of arbitrarily deeply nested loops. It is proven that values are guaranteed to be correct using information obtainable from a finite and quantifiable number of program traces. Using the results of this proof, a tool is constructed and its scalability assessed. © 2009 IEEE.
Cite
CITATION STYLE
Bartlett, M., Bate, I., & Kazakov, D. (2009). Guaranteed loop bound identification from program traces for WCET. In Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS (pp. 287–294). https://doi.org/10.1109/RTAS.2009.29
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
