A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
METADATA ONLY
Loading...
Author / Producer
Date
2014-10-16
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
50 (5-6)
Pages / Article No.
736 - 773
Publisher
Springer
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
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 (emeritus) / Thiele, Lothar (emeritus)
Notes
Published online 16 October 2014.