| WCET 06
A Definition and Classification of Timing Anomalies
Jan Reineke, Bjoern Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, and Bernd Becker
WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS 2006 (WCET 06)
Dresden, Germany, July 4, 2006
Timing Anomalies are characterized by counterintuitive timing behaviour. A locally faster execution leads to an increase of the execution time of the whole program. The presence of such behaviour makes WCET analysis more diącult: It is not safe to assume local worst-case behaviour wherever the analysis encounters uncer- tainty. Existing definitions of Timing Anomalies are rather imprecise and intuitive in nature. Some do not cover all kinds of known Timing Anomalies. After giving an overview of related work, we give a concise formal definition of Timing Anomalies. We then begin to identify diŽerent classes of anomalies. One of these classes, coined Scheduling Timing Anomalies, coincides with previous restricted definitions.