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

DOI10.1007/S11241-014-9211-YzbMATH Open1314.68090OpenAlexW2169051741MaRDI QIDQ488240FDOQ488240

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

Recommendations

• An extensible framework for multicore response time analysis
• A framework for memory contention analysis in multi-core platforms
• Timing analysis of concurrent programs running on shared cache multi-cores
• Static analysis of multi-core TDMA resource arbitration delays
• Memory-centric scheduling for multicore hard real-time systems

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)

Cites Work

• Formal Methods for the Design of Real-Time Systems
• Lectures on Concurrency and Petri Nets
• Title not available (Why is that?)
• Network calculus. A theory of deterministic queueing systems for the Internet
• Memory-centric scheduling for multicore hard real-time systems

Cited In (3)

• Formal Analysis of Memory Contention in a Multiprocessor System
• An efficient CCM KRISHNA for high contention environment and its performance comparison with WDL
• An extensible framework for multicore response time analysis

Uses Software

• Kronos
• Uppaal
• LLVM
• gem5
• ac2lus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488240)