A definition and classification of timing anomalies

OpenAccess Series in Informatics

Volumn 4, Issue , 2006, Pages

  Reineke, Jan ^a   Wachter, Björn ^a   Thesing, Stephan ^a   Wilhelm, Reinhard ^a   Polian, Ilia ^b   Eisinger, Jochen ^b   Becker, Bernd ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Abstraction; Timing analysis; Timing anomalies; Worst case execution time (WCET)

Indexed keywords

ABSTRACTION; DIFFERENT CLASS; FORMAL DEFINITION; RELATED WORKS; TIMING ANALYSIS; TIMING ANOMALIES; WCET ANALYSIS; WORST-CASE EXECUTION TIME; BAD-CASE EXECUTION TIME; UNCERTAINTY; WORST-CASE BEHAVIORS; WORST-CASE EXECUTION-TIME ANALYSIS;

UNCERTAINTY ANALYSIS; TIMING CIRCUITS;

AUTOMATA THEORY; UNCERTAINTY ANALYSIS;

EID: 84880177302     PISSN: 21906807     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Jakob Engblom and Bengt Jonsson. Processor pipelines and their properties for static wcet analysis. In EMSOFT '02: Proceedings of the Second International Conference on Embedded Software, pages 334-348, London, UK, 2002. Springer-Verlag.
2. J. Engblom. Processor pipelines and static worst-case execution time analysis, 2002.
3. Ronald L. Graham. Bounds on multiprocessing timing anomalies. SIAM Journal of Applied Mathematics, 17(2):416-429, 1969.
4. Thomas Lundqvist and Per Stenström. Timing anomalies in dynamically scheduled microprocessors. In RTSS '99: Proceedings of the 20th IEEE Real-Time Systems Symposium, page 12, Washington, DC, USA, 1999. IEEE Computer Society
5. Thomas Lundqvist. A WCET Analysis Method for Pipelined Microprocessors with Cache Memories. PhD thesis, Chalmers University of Technology, Sweden, June 2002.
6. Jörn Schneider. Combined Schedulability and WCET Analysis for Real-Time Operating Systems. PhD thesis, Saarland University, Germany, December 2002.
7. Stephan Thesing. Safe and Precise WCET Determination by Abstract Interpretation of Pipeline Models. PhD thesis, Saarland University, Germany, July 2004.
8. Ingomar Wenzel. Principles of timing anomalies in superscalar processors. Master's thesis, Technische Universität Wien, Institut für Technische Informatik, Treitlstr. 3/3/182-1, 1040 Vienna, Austria, 2003.
9. Ingomar Wenzel, Raimund Kirner, Peter Puschner, and Bernhard Rieder. Principles of timing anomalies in superscalar processors. In Proc. 5th International Conference on Quality Software, Sep. 2005.