Heptane (Hades Embedded Processor Timing ANalyzEr)

• About static WCET analysis
• High-level methods
  
  • Syntax tree
  • Loop nesting
    
  • Control flow graph
  • Timing schema
  • Assembly code
• Low-level Analysis
• Instruction cache simulation
• Pipeline simulation and new timing schema
• Retargetability and Technical Overview
• A complete example
• Link to User's documentation
• Link to Programmer's documentation
  
• Download section HERE
• Future Work
• Give us feed back !