DROPS

Document

DOI: 10.4230/OASIcs.WCET.2009.2291

Statistical-Based WCET Estimation and Validation

Authors: Jeffery Hansen, Scott Hissam, and Gabriel A. Moreno

Published in: OASIcs, Volume 10, 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) (2009)

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.

Cite as

Jeffery Hansen, Scott Hissam, and Gabriel A. Moreno. Statistical-Based WCET Estimation and Validation. In 9th International Workshop on Worst-Case Execution Time Analysis (WCET'09). Open Access Series in Informatics (OASIcs), Volume 10, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{hansen_et_al:OASIcs.WCET.2009.2291,
  author =	{Hansen, Jeffery and Hissam, Scott and Moreno, Gabriel A.},
  title =	{{Statistical-Based WCET Estimation and Validation}},
  booktitle =	{9th International Workshop on Worst-Case Execution Time Analysis (WCET'09)},
  pages =	{1--11},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-14-9},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{10},
  editor =	{Holsti, Niklas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2009.2291},
  URN =		{urn:nbn:de:0030-drops-22916},
  doi =		{10.4230/OASIcs.WCET.2009.2291},
  annote =	{Keywords: WCET analysis, measurement-based, extreme value theory, EVT, Gumbel}
}

Search Results

Documents authored by Moreno, Gabriel A.

Statistical-Based WCET Estimation and Validation

Abstract

Cite as

Thanks for your feedback!

Could not send message