Cache behavior prediction by abstract interpretation

DOI10.1007/3-540-61739-6_33MaRDI QIDQ5030186zbMATH OpenOpenAlexFDO

Authors Martin Alt, Christian Ferdinand, Florian Martin, Reinhard Wilhelm

Publication date 16 February 2022

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61739-6_33

zbMATH Keywords

abstract interpretationcache memoriesprogram analysisreal-time applicationsworst-case execution-time prediction

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Cache behavior prediction by abstract interpretation
• Ascertaining uncertainty for efficient exact cache analysis
• Static timing analysis -- what is special?
• Automated Technology for Verification and Analysis
• Abstract Interpretation of FIFO Replacement

Cited in

(8)

• On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs
• Cache behavior prediction by abstract interpretation
• Ascertaining uncertainty for efficient exact cache analysis
• Abstract Interpretation of FIFO Replacement
• Abstract Interpretation with Applications to Timing Validation
• Impact of DM-LRU on WCET: A Static Analysis Approach
• Automated Technology for Verification and Analysis
• The complexity gap in the static analysis of cache accesses grows if procedure calls are added

Describes a project that uses

Uses Software

• PAG

This page was built for publication: Cache behavior prediction by abstract interpretation

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