Return to Coronet Books main page
Processor Pipelines & Static Worst-Case
Execution Time Analysis
By Jakob Engblom
Uppsala University Press
130 pages, illustrated
Worst-Case Execution Time (WCET) estimates for programs are necessary when building real-time systems. They are used to ensure timely responses from interrupts, to guarantee the throughput of cyclic tasks, as input to scheduling and schedule analysis algorithms, and in many other circumstances. Traditionally, such estimates have been obtained either by measurements or labor-intensive manual analysis, which is both time consuming and error-prone. Static worst-case execution time analysis is a family of techniques that promise to quickly provide safe execution time estimates for real-time programs, simultaneously increasing system quality and decreasing the development cost. This thesis presents several contributions to the state-of-the-art in WCET analysis.
Introduction. WCET Overview and Previous Work. WCET Tool Architecture. Timing Model. Pipeline Model. Timing Analysis. Applications of the Analysis. Building Hardware Models. Prototype and Experiments. Conclusions and Discussion.
Uppsala Dissertations from the Faculty of Science & Technology, No. 36