What is a Timing Anomaly?. Cassez, F., Hansen, R. R., & Olesen, M. C. In 12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy, volume 23, of OASICS, pages 1-12, 2012. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. ![What is a Timing Anomaly? [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper ![What is a Timing Anomaly? [link]](https://bibbase.org/img/filetypes/link.svg "link")
Link abstract bibtex 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.
@inproceedings{wcet-12,
author = {Franck Cassez and
René Rydhof Hansen and
Mads Chr. Olesen},
title = {What is a Timing Anomaly?},
booktitle = {12th International Workshop on Worst-Case Execution Time
Analysis, WCET 2012, July 10, 2012, Pisa, Italy},
year = {2012},
pages = {1-12},
urlpaper = {papers/wcet-2012.pdf},
url_link = {http://dx.doi.org/10.4230/OASIcs.WCET.2012.1},
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.},
category= {wcet},
mywebpage = {soft-verif,wcet},
keywords = {wcet},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
series = {OASICS},
volume = {23},
Type = {B - International Conferences},
}
Downloads: 0
{"_id":"SpBXgLkMxBELh5W9F","bibbaseid":"cassez-hansen-olesen-whatisatiminganomaly-2012","author_short":["Cassez, F.","Hansen, R. R.","Olesen, M. C."],"bibdata":{"bibtype":"inproceedings","type":"B - International Conferences","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["René","Rydhof"],"propositions":[],"lastnames":["Hansen"],"suffixes":[]},{"firstnames":["Mads","Chr."],"propositions":[],"lastnames":["Olesen"],"suffixes":[]}],"title":"What is a Timing Anomaly?","booktitle":"12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, July 10, 2012, Pisa, Italy","year":"2012","pages":"1-12","urlpaper":"papers/wcet-2012.pdf","url_link":"http://dx.doi.org/10.4230/OASIcs.WCET.2012.1","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.","category":"wcet","mywebpage":"soft-verif,wcet","keywords":"wcet","publisher":"Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik","series":"OASICS","volume":"23","bibtex":"@inproceedings{wcet-12,\n author = {Franck Cassez and\n René Rydhof Hansen and\n Mads Chr. Olesen},\n title = {What is a Timing Anomaly?},\n booktitle = {12th International Workshop on Worst-Case Execution Time\n Analysis, WCET 2012, July 10, 2012, Pisa, Italy},\n year = {2012},\n pages = {1-12},\n urlpaper = {papers/wcet-2012.pdf},\n url_link = {http://dx.doi.org/10.4230/OASIcs.WCET.2012.1},\n 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.},\n category= {wcet},\n mywebpage = {soft-verif,wcet},\n keywords = {wcet},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},\n series = {OASICS},\n volume = {23},\n Type = {B - International Conferences},\n\n}\n\n\n","author_short":["Cassez, F.","Hansen, R. R.","Olesen, M. C."],"key":"wcet-12","id":"wcet-12","bibbaseid":"cassez-hansen-olesen-whatisatiminganomaly-2012","role":"author","urls":{"Paper":"http://science.mq.edu.au/~fcassez/bib/papers/wcet-2012.pdf"," link":"http://dx.doi.org/10.4230/OASIcs.WCET.2012.1"},"keyword":["wcet"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://science.mq.edu.au/~fcassez/bib/franck-bib.bib","dataSources":["qbqYFWskmoonRB43F","8742EsvjQfyP2fYBW","yYF8uwWqay28JyxZC"],"keywords":["wcet"],"search_terms":["timing","anomaly","cassez","hansen","olesen"],"title":"What is a Timing Anomaly?","year":2012}