Grande Salle de VERIMAG
1er avril 2010 - 14h00
Static analysis of interferences in the cache memory in preemptive real-time systems
par Claire Maiza de Compiler Design Lab, Saarland University
Abstract: Hard real-time embedded systems require verification of timing
constraints and thus estimation of upper-bounds on the execution time.
However, usual timing analyses assume programs to be executed with
uninterrupted execution. Our aim is to broaden the scope of current
timing analysis techniques to programs running on preemptive systems
and/or multi-core architecture.
To take into account the interactions due to preemption, the
cache-related preemption delay (CRPD) can be used. The resilience
analysis is a new static analysis that better combines the cache
analyses of the preempted and the preempting task. The talk provides an
overview of the CRPD computation and recent advance in this
area.
