- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire by Author "Kadlec, Albrecht"
Now showing items 1-2 of 2
-
Beyond loop bounds : comparing annotation languages for worst-case execution time analysis
Kirner, Raimund; Knoop, Jens; Prantl, Adrian; Schordan, Markus; Kadlec, Albrecht (2011-07)Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take. This information is indispensable for developing safety-critical ... -
Precise worst-case execution time analysis for processors with timing anomalies
Kirner, Raimund; Kadlec, Albrecht; Puschner, Peter (Institute of Electrical and Electronics Engineers (IEEE), 2009)This paper explores timing anomalies in WCET analysis.Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify the WCET assessment. So far, timing anomalies ...