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

DOI10.1007/s11241-014-9211-yzbMath1314.68090OpenAlexW2169051741MaRDI QIDQ488240

Kai Lampka, Zheng Wu, Georgia Giannopoulou, Nikolay Stoimenov, Rodolfo Pellizzoni

Publication date: 23 January 2015

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-234343

zbMATH Keywords

multicore systemspredictable execution modelreal-time performance analysisreal-time simulationresource contentiontimed model checkingworst-case response time analysis

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

An extensible framework for multicore response time analysis

Uses Software

• Kronos
• Uppaal
• LLVM
• gem5
• ac2lus

Cites Work

• Memory-centric scheduling for multicore hard real-time systems
• Formal Methods for the Design of Real-Time Systems
• Lectures on Concurrency and Petri Nets
• Network calculus. A theory of deterministic queueing systems for the Internet
• Unnamed Item

This page was built for publication: A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets