A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
PLEA: Parametric loop bound estimation in WCET analysis
2016
Turkish Journal of Electrical Engineering and Computer Sciences
Worst-case execution time (WCET) analysis of a program is important to verify the temporal correctness of real-time systems. Parametric WCET analysis represents the WCET of the program as a formula, where the unknown values affecting the WCET are parameterized. Many issues usually affect the WCET of a program, including the loop bound. In parametric timing analysis, instead of determining a constant upper bound for a loop, a symbolic formula represents the loop bound. In this paper, a new
doi:10.3906/elk-1402-250
fatcat:siwrwh34mfek3m4x4g33zn7uje