Measurement-Based Timing Analysis

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter Puschner

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

16 Citations (Scopus)
92 Downloads (Pure)

Abstract

In this paper we present a measurement-based worst-case execution time (WCET) analysis method. Exhaustive end-to-end execution-time measurements are computationally intractable in most cases. Therefore, we propose to measure execution times of subparts of the application code and then compose these times into it safe WCET bound.
This raises a number of challenges to be solved. First. there is the question of how to define and Subsequently calculate adequate subparts. Second, a huge amount of test data is required enforcing the execution of selected paths to perform the desired runtime measurements.
The presented method provides solutions to both problems. In a number of experiments we show the usefulness of the theoretical concepts and the practical feasibility by using current state-of-the-art industrial case studies from project partners.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationThird International Symposium, ISoLA 2008
EditorsT Margaria, B Steffen
PublisherSpringer Nature
Pages430-444
Number of pages15
ISBN (Print)978-3-540-88478-1, 3-540-88478-5
DOIs
Publication statusPublished - 2009
Event3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Porto Sani
Duration: 13 Oct 200815 Oct 2008

Publication series

NameCommunications in Computer and Information Science
PublisherSpringer
Number8
Volume17

Conference

Conference3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
CityPorto Sani
Period13/10/0815/10/08

Keywords

  • CHECKING

Fingerprint

Dive into the research topics of 'Measurement-Based Timing Analysis'. Together they form a unique fingerprint.

Cite this