Timed Automata for Modelling Caches and Pipelines
Franck Cassez, Pablo González de Aledo Marugán · Electronic Proceedings in Theoretical Computer Science · 2015
In this paper, we focus on modelling the timing aspects of binary programs running on architectures featuring caches and pipelines. The objective is to obtain a timed automaton model to compute tight bounds for the worst-case execution time (WCET) of the programs using model-checking techniques.