Abstract
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.
Original language | English |
---|---|
Title of host publication | Proceedings 2013 13th International Conference on Application of Concurrency to System Design |
Subtitle of host publication | ACSD 2013 |
Place of Publication | Piscataway, NJ |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 41-50 |
Number of pages | 10 |
ISBN (Electronic) | 9780769550350 |
DOIs | |
Publication status | Published - 2013 |
Externally published | Yes |
Event | 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013 - Barcelona, Spain Duration: 8 Jul 2013 → 10 Jul 2013 |
Other
Other | 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013 |
---|---|
Country/Territory | Spain |
City | Barcelona |
Period | 8/07/13 → 10/07/13 |