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

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

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 (10)

• Formal Analysis of Memory Contention in a Multiprocessor System
• Memory-centric scheduling for multicore hard real-time systems
• A framework for memory contention analysis in multi-core platforms
• Cache-aware compositional analysis of real-time multicore virtualization platforms
• Real-time application mapping for many-cores using a limited migrative model
• An efficient CCM KRISHNA for high contention environment and its performance comparison with WDL
• Schedulability analysis for multi-core systems accounting for resource stress and sensitivity
• Worst-case execution time analysis for many-core architectures with NoC
• Static analysis of multi-core TDMA resource arbitration delays
• 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)