License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.WCET.2012.1
URN: urn:nbn:de:0030-drops-35521
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2012/3552/
Go to the corresponding OASIcs Volume Portal

Cassez, Franck ; Hansen, René Rydhof ; Olesen, Mads Chr.

What is a Timing Anomaly?

pdf-format:
p001-cassez.pdf (0.5 MB)

Abstract

Timing anomalies make worst-case execution time analysis much harder, because the analysis will have to consider all local choices. It has been widely recognised that certain hardware features are timing anomalous, while others are not. However, defining formally what a timing anomaly is, has been difficult.

We examine previous definitions of timing anomalies, and identify examples where they do not align with common observations. We then provide a definition for consistently slower hardware traces that can be used to define timing anomalies and aligns with common observations.

BibTeX - Entry

@InProceedings{cassez_et_al:OASIcs:2012:3552,
  author =	{Franck Cassez and Ren{\'e} Rydhof Hansen and Mads Chr. Olesen},
  title =	{{What is a Timing Anomalyl}},
  booktitle =	{12th International Workshop on Worst-Case Execution Time Analysis},
  pages =	{1--12},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-41-5},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{23},
  editor =	{Tullio Vardanega},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3552},
  URN =		{urn:nbn:de:0030-drops-35521},
  doi =		{10.4230/OASIcs.WCET.2012.1},
  annote =	{Keywords: Timing anomalies, worst case execution time (WCET), abstractions}
}

Keywords: Timing anomalies, worst case execution time (WCET), abstractions
Collection: 12th International Workshop on Worst-Case Execution Time Analysis
Issue Date: 2012
Date of publication: 10.07.2012

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI