A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
type: Item
instance of: scholarly article
title: A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
zbMATH Open document ID: 1314.68090
author: Kai Lampka
author: Georgia Giannopoulou
author: Rodolfo Pellizzoni
author: Zheng Wu
author: Nikolay Stoimenov
published in: Real-Time Systems
publication date: 2015-01-23T00:00:00Z
full work available at URL: http://urn.kb.se/resolve
Mathematics Subject Classification ID: 68M20
zbMATH DE Number: 6390327
zbMATH Keywords: multicore systems
zbMATH Keywords: worst-case response time analysis
zbMATH Keywords: resource contention
zbMATH Keywords: real-time simulation
zbMATH Keywords: timed model checking
zbMATH Keywords: real-time performance analysis
zbMATH Keywords: predictable execution model
describes a project that uses: gem5
describes a project that uses: LLVM
describes a project that uses: ac2lus
describes a project that uses: Kronos
describes a project that uses: Uppaal
MaRDI profile type: Publication
OpenAlex ID: W2169051741
cites work: Q4038702
cites work: Memory-centric scheduling for multicore hard real-time systems
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Lectures on Concurrency and Petri Nets
cites work: Network calculus. A theory of deterministic queueing systems for the Internet
DOI: 10.1007/S11241-014-9211-Y
description: scientific article; zbMATH DE number 6390327