Efficient Longest Executable Path Search for Programs
with Complex Flows and Pipeline Effects.
Abstract (may be slightly modified just before the talk)
Current development tools for embedded real-time systems do not
efficiently support the timing aspect. The most important timing
parameter for scheduling and system analysis is the Worst-Case
Execution Time (WCET) of a program.
The presentation will give a short overview of work performed
in the WCET research field and present a newly developed and
efficient WCET calculation method.
The method builds upon Dijkstra's classical longest-path search
algorithm but has been extended to take into account
low-level machine aspects like pipelining and caches as well as
high-level program flow like loops and infeasible paths.
The method is more efficient than previous path-based approaches,
and can easily handle complex programs. By separating the
low-level from the high-level analysis, the method is easy to
Experiments confirm that speed does not sacrifice precision, and
that programs with extreme numbers of potential execution paths
can be analyzed quickly.
Place: Information technology, Uppsala University
Time: 15.15-16.00 (+ discussions)
Room 1113 is in building 1, floor 1, room 13
(in the southern part of the building).
Help on how to find ASTEC Seminars.
There will be an extended period for discussions after the seminar.
Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 16.00.
Everyone is welcome !
Updated 13-Nov-2001 16:50 by Roland Grönroos
e-mail: info -at- astec.uu.se