Timed automata for modelling caches and pipelines

Ver/Abrir
Identificadores
URI: http://hdl.handle.net/10902/20198
ISSN: 2075-2180
Compartir
Estadísticas
Ver Estadísticas
Google Scholar
Registro completo
Mostrar el registro completo DC
Autoría
Cassez, Franck; González de Aledo Marugán, PabloAutoridad Unican
Fecha
2015-11
Derechos
Attribution 4.0 International
Publicado en
Electronic Proceedings in Theoretical Computer Science, 2015, 196, 37-45
1st Workshop on Models for Formal Analysis of Real Systems (MARS), Suva, Fiji, 2015
Editorial
Open Publishing Association
Resumen/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 tehcniques.
Colecciones a las que pertenece
Attribution 4.0 InternationalExcepto si se señala otra cosa, la licencia del ítem se describe como Attribution 4.0 International