Hansen, Jeffery ;
Hissam, Scott ;
Moreno, Gabriel A.
Statistical-Based WCET Estimation and Validation
Abstract
In this paper we present a measurement-based approach that produces both a WCET (Worst Case Execution Time) estimate, and a prediction of the probability that a future execution time will exceed our estimate. Our statistical-based approach uses extreme value theory to build a model of the tail behavior of the measured execution time value. We validate our approach using an industrial data set comprised of over 150 sampled components and nearly 200 million sample execution times. Each trace is divided into two segments, with one used to make the WCET estimate, and the second used check our prediction of the fraction of future execution time samples that exceed our WCET estimate. We show that compared to WCET estimates derived from the worst-case observed time, our WCET estimates significantly improve the ability to predict the probability that our WCET estimate is exceeded.
BibTeX - Entry
@InProceedings{hansen_et_al:OASIcs:2009:2291,
author = {Jeffery Hansen and Scott Hissam and Gabriel A. Moreno},
title = {{Statistical-Based WCET Estimation and Validation}},
booktitle = {9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) },
pages = {1--11},
series = {OpenAccess Series in Informatics (OASIcs)},
ISBN = {978-3-939897-14-9},
ISSN = {2190-6807},
year = {2009},
volume = {10},
editor = {Niklas Holsti},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2009/2291},
URN = {urn:nbn:de:0030-drops-22916},
doi = {10.4230/OASIcs.WCET.2009.2291},
note = {also published in print by Austrian Computer Society (OCG) with ISBN 978-3-85403-252-6},
annote = {Keywords: WCET analysis, measurement-based, extreme value theory, EVT, Gumbel}
}
|
Keywords: |
|
WCET analysis, measurement-based, extreme value theory, EVT, Gumbel |
|
Seminar: |
|
9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)
|
|
Issue date: |
|
2009 |
|
Date of publication: |
|
2009 |
2009
