• DocumentCode
    122728
  • Title

    AHRB: A high-performance time-composable AMBA AHB bus

  • Author

    Jalle, Javier ; Abella, Jaume ; Quinones, Eduardo ; Fossati, Luca ; Zulianello, Marco ; Cazorla, Francisco J.

  • Author_Institution
    Barcelona Supercomput. Center, Barcelona, Spain
  • fYear
    2014
  • fDate
    15-17 April 2014
  • Firstpage
    225
  • Lastpage
    236
  • Abstract
    Hard real-time systems are moving toward complex systems comprising chips with different IP components connected with standard buses. AMBA is one of the most used bus interfaces and has already been included in processors in the real-time domain. However, AMBA was not designed to provide time composable Worst Case Execution Time (WCET) estimates, which are desirable to reduce timing validation and verification costs. This paper analyzes and extends the AMBA Advanced High-performance Bus (AHB) specification to enable time-composable WCET estimates by design. Concretely, (1) we analyze in detail the AMBA AHB in the context of hard real-time systems proving that it fails to provide time composability; (2) we define a restricted subset of AMBA AHB features, named restricted AHB (resAHB), that allows deriving time-composable, yet not tight, WCET estimates; and (3) we define an extension of resAHB, named Advanced High-performance Real-time Bus (AHRB), that includes the timing constraints in the specification. This allows deriving time-composable and tight WCET estimates. Our results show that AHRB can provide 3.5x tighter estimates than resAHB on average for EEMBC benchmarks.
  • Keywords
    field buses; formal specification; formal verification; AHB specification; AHRB; IP component; WCET estimates; advanced high-performance real-time bus; bus interface; hard real-time system; restricted AHB; time-composable AMBA AHB bus; timing constraint; timing validation; timing verification; worst case execution time estimates; Aerospace electronics; Hardware; Multicore processing; Protocols; Real-time systems; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014 IEEE 20th
  • Conference_Location
    Berlin
  • ISSN
    1080-1812
  • Print_ISBN
    978-1-4799-4691-4
  • Type

    conf

  • DOI
    10.1109/RTAS.2014.6926005
  • Filename
    6926005