Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Knoop, L. Kovacs, J. Zwirchmayr:
"An Evaluation of WCET Analysis using Symbolic Loop Bounds";
Vortrag: 11th International Workshop on Worst-Case Execution-Time Analysis,
Porto, Portugal;
05.07.2011; in: "Proc. 11'th International Workshop on Worst-Case Execution Time Analysis",
C. Healy (Hrg.);
Österreichische Computer Gesellschaft - OCG,
(2011),
S. 93
- 103.
Kurzfassung englisch:
In this paper we evaluate a symbolic loop bound generation technique
recently proposed by the authors in [7] (PSI11). The technique deploys pattern-based recurrence solving in conjunction with program flow refinement using SMT reasoning. The derived bounds are further used in the WCET analysis of programs with loops. This paper presents experimental evaluations of the method carried out with the r-TuBound software tool. We evaluate our method against various academic and industrial WCET benchmarks, and outline further challenges for
symbolic loop bound computation.
Schlagworte:
WCET, loop bounds, upper bounds, wcet benchmarks, wcet analysis, static analysis
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_198260.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.