Efficient and Precise Cache Behavior Prediction for Real-Time Systems

  title={Efficient and Precise Cache Behavior Prediction for Real-Time Systems},
  author={Christian Ferdinand and Reinhard Wilhelm},
  journal={Real-Time Systems},
Abstract interpretation is a technique for the static detection of dynamic properties of programs. It is semantics based, that is, it computes approximative properties of the semantics of programs. On this basis, it supports correctness proofs of analyses. It replaces commonly used ad hoc techniques by systematic, provable ones, and it allows for the automatic generation of analyzers from specifications by existing tools. In this work, abstract interpretation is applied to the problem of… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 247 citations. REVIEW CITATIONS