A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets

Thumbnail
Metadata only
Author
Lampka, Kai
Giannopoulou, Georgia
Pellizzoni, Rodolfo
Wu, Zheng
Stoimenov, Nikolay
Show all
Date
2014-10-16
Type
  • Journal Article
Publication status
published
External links
Search via SFX
Journal / series
Real-time Systems
Volume
50(5-6)
Pages / Article No.
736 - 773
Publisher
Springer
Subject
Multicore systems; Worst-case response time analysis; Resource contention; Real-time simulation; Timed model checking; Real-time performance analysis; Predictable execution model
Organisational unit
03429 - Thiele, Lothar / Thiele, Lothar  
Notes
Published online 16 October 2014.
More
Show all metadata
Citations
Cited 10 times in Web of Science
ETH Bibliography
yes
Altmetrics