Caches and Pipelines

Description:Models of the timing aspects of binary programs running on architectures featuring caches and pipelines
Author(s):Franck Cassez, Pablo González de Aledo Marugán
Tool(s): Uppaal
Event:MARS'15
Paper:Timed Automata for Modelling Caches and Pipelines

Abstract

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.

Model(s)

Creative Commons License    This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.