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:
![]() |
For website issues:
![]() |