Child pages
  • 2011K-timing-session-2
Skip to end of metadata
Go to start of metadata

Flow and value analysis

T-106.5840 second session that was 2011/04/14. Some notes on the session.

Scope

We tried to

  • have a overall look on WCET analysis
  • give control-flow analysis a closer look
    • this is thightly bound to value analysis

Minutes

The basic approach is flow-based and phased

  • control-flow analysis
  • microarchitecture modeling
  • calculation

Other options

  • joining the modeling/calculation with the flow analysis

Challenges

  • concurrency, parallelism
  • complex control dependencies

How the flow information is represented

  • simple classical representations
  • parametric representations
    • polynomials
    • based on relational abstract interpretation

Tools

  • there are not so many commercial tools
  • many groups have research tools

Selected references

TBD

Material

  • No labels