Publication | Open Access
What is a Timing Anomaly?
14
Citations
9
References
2012
Year
Anomaly DetectionEngineeringComputer ArchitectureSoftware EngineeringTiming AnomalyClock SynchronizationSoftware AnalysisFormal VerificationHardware SecurityTiming AnalysisSystems EngineeringTiming AnomaliesMolecular ClocksRuntime VerificationProfiling ToolComputer EngineeringComputer SciencePerformance Analysis ToolStatic Program AnalysisSlower Hardware TracesProgram AnalysisSoftware TestingReal-time SystemsSystem Software
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1