Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution


Static worst-case execution time (WCET) analysis is a technique to derive upper bounds for the execution times of programs. Such bounds are crucial when designing and verifying real-time systems. A key component for statically deriving safe and tight WCET bounds is information on the possible program flow through the program. Such flow information can be… (More)
DOI: 10.1109/RTSS.2006.12


8 Figures and Tables


Citations per Year

190 Citations

Semantic Scholar estimates that this publication has 190 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics