OTAWA

OTAWA v2 (soon)

OTAWA v2 is in development since 2 years.

New features include (but are not limited to):

  • otawa-install.py — automatic installer/compiler for OTAWA optional modules (instruction, micro-architecture, analyses, etc)
  • otawa-stat.py — generation of statistics for a WCET analysis,
  • new CFG system improving the display of CFG and reducing the size of analysed programs,
  • improved support of instruction model to represent their execution inside the pipeline,
  • simplified internal engine to make easier the development of new extensions,
  • generalized interface to run OTAWA as a server to be used with script languages like Python,
  • and many more helpers, display modules and analyses.

Beta version should be available in June 2019.