
190 Chapter 3 Programs
accurately reflect program behavior. Exactly how these user constraints are
incorporated into the analysis depends on the analytical technique used.
3.4.3 Path Timing
Several techniques are used to analyze path timing at different levels of abstrac-
tion. Abstract interpretation analyzes the behavior of the program in detail to
more accurately understand the execution states of the program. Data flow anal-
Figure 3-28 Experimental evaluation of the accuracy of -based WCET analysis. From Li
et al. [Li97c] © 1997 IEEE Computer Society.
Wolf.book Page 190 Tuesday, August 8, 2006 1:56 PM