A New Paradigm for Cache Related WCET Computation

S. Louise, V. Davidy, and J. Delcoignez (France)


realtime and embedded systems, modeling and simulation, WCET, cache memory.


In real-time systems and safety critical applications, it is a necessity to compute Worst Case Execution Time (WCET). For systems using caches, especially multitasking, this is hard to achieve when tight bounds are wanted for a better schedulability. A new method to statically compute this kind of results, using a Markov chain model, is introduced here. It uses symbolic execution of tasks, and as such relies on abstract interpretation. Its aim is to be especially ef´Čücient in ever looping multitasking systems like hard real-time, and I&C systems.

Important Links:

Go Back