Timed automata for modelling caches and pipelines
- Cassez, Franck
- de Aledo Marugán, Pablo González
Publication date
January 2015
DOI Publisher
Open Publishing Association Journal
Electronic Proceedings in Theoretical Computer ScienceAbstract
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 tehcniques.9 page(s
Add to ORKG