Skip to main content

TS

What is a timing anomaly?

Authors

Franck Cassez, René Rydhof Hansen and Mads Olesen

NICTA

Department of Computer Science
Aalborg University

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_HO_12,
    publisher        = {Schloss Dagstuhl --- Leibniz-Zentrum fuer Informatik},
    doi              = {10.4230/OASIcs.WCET.2012.1},
    author           = {Cassez, Franck and Hansen, Ren\'e Rydhof and Olesen, Mads},
    month            = jul,
    editor           = {{Tullio Vardanega}},
    year             = {2012},
    keywords         = {timing anomalies, worst case execution time (wcet), abstractions},
    title            = {What is a Timing Anomaly?},
    booktitle        = {Workshop on Worst-Case Execution-Time Analysis},
    pages            = {1--12},
    address          = {Pisa, Italy}
  }

Download

Served by Apache on Linux on seL4.