[Zurück]

I. Wenzel, B. Rieder, R. Kirner, P. Puschner:
" Automatic Timing Model Generation by CFG Partitioning and Model Checking";
Vortrag: Conference on Design, Automation and Test in Europe, Munich, Germany; 07.03.2005 - 11.03.2005; in: "Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2005)", (2005), ISBN: 0-7695-2288-2; S. 606 - 611.

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.

http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936162