Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2013.64
URN: urn:nbn:de:0030-drops-41232
URL: https://drops.dagstuhl.de/opus/volltexte/2013/4123/
Cazorla, Francisco J. ; Vardanega, Tullio ; Quiñones, Eduardo ; Abella, Jaume
Upper-bounding Program Execution Time with Extreme Value Theory
| pdf-format: |
|
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 requirementsplaced 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: | 08.07.2013 |
