Static probabilistic timing analysis for real-time systems using random replacement caches

DOI10.1007/s11241-014-9218-4zbMath1334.68033OpenAlexW2083361840MaRDI QIDQ2516962

Robert I. Davis, Liliana Cucu-Grosjean, Sebastian Altmeyer

Publication date: 4 August 2015

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

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/69825

zbMATH Keywords

timing verificationWCET analysisrandom cache replacementstatic probabilistic timing analysis

Mathematics Subject Classification ID

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

Related Items (2)

On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs ⋮ DMAC: Deadline-Miss-Aware Control

Uses Software

• gem5
• pwcet

Cites Work

• Cache behavior prediction by abstract interpretation
• Efficient Cache Designs for Probabilistically Analysable Real-Time Systems

This page was built for publication: Static probabilistic timing analysis for real-time systems using random replacement caches