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 |
| Event(s): | MARS'15 |
| Paper(s): |
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)
-
- Download Model
- Browse Model
- tool(s): Uppaal
This work is licensed under a Creative Commons
Attribution-NonCommercial-ShareAlike 4.0 International License.