Timing Analysis of Binary Programs with UPPAAL
Franck Cassez, Jean-Luc Béchennec · 2013
We address the problem of computing accurate Worst-Case Execution Time (WCET). We propose a fully automatic and modular methodology based on program slicing and real-time model-checking. We have implemented our methodology and applied it to standard benchmarks. To further validate the approach, we also compare our results to the real execution times of the programs measured on a real board.