14/2011 : Let's Get Less Optimistic In Measurement-Based Timing Analysis

RR Number

14/2011

Conference

6th International Symposium on Industrial Embedded Systems (SIES'11)

Author(s)

Sven Bünte, Michael Zolda, Raimund Kirner

Abstract

Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution time measurements with static program analysis techniques to obtain an estimate of the worst-case execution time (WCET) of a program. In order to minimize the chance that the WCET estimate is below the real WCET, the set of representative execution time measurements has to be selected advisedly. We present an input data generation technique that uses a combination of model checking and genetic algorithms in order to heuristically optimize the set of measurements in terms of safety.

Bibtex

@INPROCEEDINGS{buente:2011a,
  author = {B{\"u}nte, Sven and Zolda, Michael and Kirner, Raimund},
  booktitle={Proc. 6th International Symposium on Industrial Embedded Systems
    (SIES'11)},
  title={Let's Get Less Optimistic In Measurement-Based Timing Analysis},
  year={2011},
  month=jun,
  publisher = {IEEE},
  address = {V\"{a}ster\r{a}s, Sweden}
}

Download

Get camera_ready.pdf - Adobe PDF-format, (3642.93 KB; posted at July 21 2011; )