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, Munich, Germany; 2005-03-07 - 2005-03-11; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)", (2005), ISBN: 0-7695-2288-2; 606 - 611.

English abstract:
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.