• DocumentCode
    633709
  • Title

    Timing Analysis of Binary Programs with UPPAAL

  • Author

    Cassez, Franck ; Bechennec, Jean-Luc

  • Author_Institution
    NICTA, Univ. of New South Wales, Sydney, NSW, Australia
  • fYear
    2013
  • fDate
    8-10 July 2013
  • Firstpage
    41
  • Lastpage
    50
  • 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.
  • Keywords
    formal verification; program slicing; UPPAAL; WCET; binary program; program slicing; real-time model-checking; timing analysis; worst-case execution time; Abstracts; Computational modeling; Computer architecture; Hardware; Pipelines; Registers; Semantics; WCET; timed automata;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design (ACSD), 2013 13th International Conference on
  • Conference_Location
    Barcelona
  • Type

    conf

  • DOI
    10.1109/ACSD.2013.7
  • Filename
    6598339
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=633709