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
Link To Document