Automatic timing model generation by CFG partitioning and model checking

I Wenzel, B Rieder, Raimund Kirner, P. Puschner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

45 Citations (Scopus)
100 Downloads (Pure)

Abstract

We present a new measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application. We use heuristic methods and model checking to generate test data, forcing the execution of selected paths to perform run-time measurements. The measured times are used to calculate the WCET in a final computation step. As we operate on the source code level, our approach is platform independent except for the run-time measurements performed on the target host. We show the feasibility of the required steps and explain our approach by means of a case study.
Original languageEnglish
Title of host publicationProceedings of Design, Automation and Test in Europe
EditorsN Wehn, L Benini
PublisherIEEE COMPUTER SOC
Pages606-611
Number of pages6
Volume1
ISBN (Print)0-7695-2288-2
DOIs
Publication statusPublished - 2005
EventDesign, Automation and Test in Europe Conference and Exhibition (DATE 05) - Munich
Duration: 7 Mar 200511 Mar 2005

Conference

ConferenceDesign, Automation and Test in Europe Conference and Exhibition (DATE 05)
CityMunich
Period7/03/0511/03/05

Fingerprint

Dive into the research topics of 'Automatic timing model generation by CFG partitioning and model checking'. Together they form a unique fingerprint.

Cite this