2026-07-20T07:45:19Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4606 2024-03-06T10:29:33Z ddc:004 open_access

Scope-Based Method Cache Analysis Huber, Benedikt Hepp, Stefan Schoeberl, Martin Real-Time Systems Cache Analysis Time-predictable Computer Architecture The quest for time-predictable systems has led to the exploration of new hardware architectures that simplify analysis and reasoning in the temporal domain, while still providing competitive performance. For the instruction memory, the method cache is a conceptually attractive solution, as it requests memory transfers at well-defined instructions only. In this article, we present a new cache analysis framework that generalizes and improves work on cache persistence analysis. The analysis demonstrates that a global view on the cache behavior permits the precise analyses of caches which are hard to analyze by inspecting cache state locally. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Benedikt Huber and Stefan Hepp and Martin Schoeberl 2014 Is Part Of OASIcs, Volume 39, 14th International Workshop on Worst-Case Execution Time Analysis (2014) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2014.73 urn:nbn:de:0030-drops-46066 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2014.73 eng https://creativecommons.org/licenses/by/3.0/legalcode