Scratchpad memories vs locked caches in hard real-time systems: a quantitative comparison