Relational cache analysis for static timing analysis

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2012, Pages 102-111

  Hahn, Sebastian ^a   Grund, Daniel ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Congruence Analysis; LRU Replacement; Static Cache Analysis; WCET Analysis

Indexed keywords

CACHE ANALYSIS; CACHE SETS; CONGRUENCE ANALYSIS; LRU REPLACEMENT; MEMORY BLOCKS; MEMORY REFERENCES; SAFETY-CRITICAL; STACK POINTERS; STATIC TIMING ANALYSIS; WCET ANALYSIS;

REAL TIME SYSTEMS;

CACHE MEMORY;

EID: 84866461885     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECRTS.2012.14     Document Type: Conference Paper

References (15)

1. R. Wilhelm et al., "The worst-case execution-time problem - overview of methods and survey of tools," Transactions on Embedded Computing Syst., vol. 7, no. 3, 2008.
2. D. Grund and J. Reineke, "Precise and efficient FIFOreplacement analysis based on static phase detection," in ECRTS. IEEE, 2010.
3. R. Sen and Y. N. Srikant, "WCET estimation for executables in the presence of data caches," in EMSOFT. ACM, 2007.
4. C. Ferdinand and R. Wilhelm, "Efficient and precise cache behavior prediction for real-time systems," Real-Time Syst., vol. 17, no. 2-3, 1999.
5. R. T. White, C. A. Healy, D. B. Whalley, F. Mueller, and M. G. Harmon, "Timing analysis for data caches and set-associative caches," in RTAS. IEEE, 1997.
6. B. Jeannet and A. Miné, "APRON: A library of numerical abstract domains for static analysis," in Computer Aided Verification. Springer, 2009.
7. D. Grund, "Static cache analysis for real-time systems - LRU, FIFO, PLRU," Ph.D. dissertation, Saarland University, 2012.
8. B. K. Rosen, M. N. Wegman, and F. K. Zadeck, "Global value numbers and redundant computations," in POPL, 1988.
9. G. Balakrishnan and T. Reps, "Analyzing memory accesses in x86 executables," in Compiler Construction. Springer, 2004.
10. S. Hahn, "Towards relational cache analysis," Bachelor's Thesis, Saarland University, 2011.
11. P. Cousot and R. Cousot, "Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints," in POPL, 1977.
12. M. Müller-Olm and H. Seidl, "A generic framework for interprocedural analysis of numerical properties," in Static Analysis Symposium. Springer-Verlag, 2005.
13. J. Blieberger, T. Fahringer, and B. Scholz, "Symbolic cache analysis for real-time systems," Real-Time Syst., vol. 18, 2000.
14. S. Wegener, "Improving static analysis of loops," Master's thesis, Saarland University, 2011.
15. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper, "The Mälardalen WCET benchmarks - past, present and future," in WCET. OCG, 2010.