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

DOI10.1007/S11241-014-9218-4MaRDI QIDQ2516962zbMATH OpenOpenAlexFDO

Authors Liliana Cucu-Grosjean, Robert I. Davis, 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

random cache replacementstatic probabilistic timing analysistiming verificationWCET analysis

Mathematics Subject Classification ID

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

Recommendations

• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
• Efficient Cache Designs for Probabilistically Analysable Real-Time Systems

Cites work

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

Cited in

(7)

• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
• Data cache organization for accurate timing analysis
• Timing predictability of cache replacement policies
• Abstract Interpretation of FIFO Replacement
• On the criticality of probabilistic worst-case execution time models
• DMAC: Deadline-Miss-Aware Control
• Response-time analysis for fixed-priority systems with a write-back cache

Describes a project that uses

Uses Software

• gem5
• pwcet

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

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