Timing analysis of binary programs with UPPAAL

Franck Cassez, Jean Luc Bechennec

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

11 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings 2013 13th International Conference on Application of Concurrency to System Design
Subtitle of host publicationACSD 2013
Place of PublicationPiscataway, NJ
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages41-50
Number of pages10
ISBN (Electronic)9780769550350
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013 - Barcelona, Spain
Duration: 8 Jul 201310 Jul 2013

Other

Other2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013
Country/TerritorySpain
CityBarcelona
Period8/07/1310/07/13

Fingerprint

Dive into the research topics of 'Timing analysis of binary programs with UPPAAL'. Together they form a unique fingerprint.

Cite this