Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
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.
Kurzfassung englisch:
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-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936162
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.