License
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2013.64
URN: urn:nbn:de:0030-drops-41232
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4123/
Go to the corresponding OASIcs Volume Portal


Cazorla, Francisco J. ; Vardanega, Tullio ; Quiñones, Eduardo ; Abella, Jaume

Upper-bounding Program Execution Time with Extreme Value Theory

pdf-format:
8.pdf (0.5 MB)


Abstract

In this paper we discuss the limitations of and the precautions to account for when using Extreme Value Theory (EVT) to compute upper bounds to the execution time of programs. We analyse the requirements placed by EVT on the observations to be made of the events of interest, and the conditions that render safe the computations of execution time upper bounds. We also study the requirements that a recent EVT-based timing analysis technique, Measurement-Based Probabilistic Timing Analysis (MBPTA), introduces, besides those imposed by EVT, on the computing system under analysis to increase the trustworthiness of the upper bounds that it computes.

BibTeX - Entry

@InProceedings{cazorla_et_al:OASIcs:2013:4123,
  author =	{Francisco J. Cazorla and Tullio Vardanega and Eduardo Qui{\~n}ones and Jaume Abella},
  title =	{{Upper-bounding Program Execution Time with Extreme Value Theory}},
  booktitle =	{13th International Workshop on Worst-Case Execution Time Analysis},
  pages =	{64--76},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-54-5},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{30},
  editor =	{Claire Maiza},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4123},
  URN =		{urn:nbn:de:0030-drops-41232},
  doi =		{10.4230/OASIcs.WCET.2013.64},
  annote =	{Keywords: WCET, Extreme Value Theory, Probabilistic, Deterministic}
}

Keywords: WCET, Extreme Value Theory, Probabilistic, Deterministic
Seminar: 13th International Workshop on Worst-Case Execution Time Analysis
Issue Date: 2013
Date of publication: 02.07.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI