The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

Timing validation is a critical step in the design of real-time systems, that requires the
estimation of Worst-Case Execution Times (WCET) for tasks. A number of different methods …

Estimating safe upper bounds on execution times of programs is required in the design of
predictable real-time systems. When multi-core, instruction pipeline, branch prediction, or …

Reliable program worst-case execution time (WCET) estimates are a key component when
designing and verifying real-time systems. One way to derive such estimates is by static …

The schedulability analysis of real-time embedded systems requires worst case execution
time (WCET) analysis for the individual tasks. Bounding WCET involves not only language …

This paper presents a framework for combining low-level measurement data through high-
level static analysis techniques on instrumented programs in order to generate WCET …

Branch prediction mechanisms are becoming commonplace within current generation
processors. Dynamic branch predictors, albeit able to predict branches quite accurately in …

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 …

The wider and wider use of high-performance processors as part of real-time systems makes
it more and more difficult to guarantee that programs will respect their strict deadlines. While …

One step in the verification of hard real-time systems is to determine upper bounds on the
worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis has to …