• DocumentCode
    549613
  • Title

    Efficient WCRT analysis of synchronous programs using reachability

  • Author

    Kuo, Matthew ; Sinha, Roopak ; Roop, Partha

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand
  • fYear
    2011
  • fDate
    5-9 June 2011
  • Firstpage
    480
  • Lastpage
    485
  • Abstract
    Static computation of the worst-case reaction time (WCRT) is required for the real-time execution of synchronous programs. Existing approaches use model checking or integer linear programming. We formulate this as an abstraction-based reachability analysis yielding a lower worst case complexity. Benchmarking shows a significant overall speed-up of 64-times over existing approaches.
  • Keywords
    reachability analysis; WCRT analysis; abstraction-based reachability analysis; integer linear programming; model checking; synchronous programs; worst-case reaction time; Decoding; Instruction sets; Optimization; Real time systems; Robot sensing systems; Reachability; Synchronous; Worst Case Analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation Conference (DAC), 2011 48th ACM/EDAC/IEEE
  • Conference_Location
    New York, NY
  • ISSN
    0738-100x
  • Print_ISBN
    978-1-4503-0636-2
  • Type

    conf

  • Filename
    5981969
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=549613