University of Hertfordshire

By the same authors

Automatic timing model generation by CFG partitioning and model checking

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


  • preprint

    Submitted manuscript, 314 KB, PDF document

View graph of relations
Original languageEnglish
Title of host publicationProceedings of Design, Automation and Test in Europe
EditorsN Wehn, L Benini
Number of pages6
ISBN (Print)0-7695-2288-2
Publication statusPublished - 2005
EventDesign, Automation and Test in Europe Conference and Exhibition (DATE 05) - Munich
Duration: 7 Mar 200511 Mar 2005


ConferenceDesign, Automation and Test in Europe Conference and Exhibition (DATE 05)


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.


“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”

ID: 323657