Franck Cassez (Macquarie University, Sydney, Australia) |
Pablo González de Aledo Marugán (University of Cantabria, Santander, Spain) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.196.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |