Talks and Poster Presentations (with Proceedings-Entry):
I. Wenzel, B. Rieder, R. Kirner, P. Puschner:
" Automatic Timing Model Generation by CFG Partitioning and Model Checking";
Talk: Conference on Design, Automation and Test in Europe,
- 2005-03-11; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)",
In this paper we present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computation- ally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to gener- ate test data, forcing the execution of selected paths to perform runtime measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on source code level our approach is platform independent except for the run time mea- surements performed on the target host. We show the feasibility of the required steps and ex- plain our approach by means of a case study.
Online library catalogue of the TU Vienna:
Created from the Publication Database of the Vienna University of Technology.