We are currently developing OTAWA v2.

It is not ready for publication but you can already play with a pre-version.

OTAWA v2 is embedding a new installation that supports OTAWA installation and third-party plug-in installation from web repository: this tool is called otawa-install.py (Python required). Notice that otawa-install.py should only work only for Linux but we hope to quickly adapt it to Mac an Windows.

Using otawa-install.py is relatively easy. First download it in the directory that will contain the installation of OTAWA (let name it OTAWA_HOME).

The packages will be installed in /home/casse/tmp/otawa:  [yes/NO]: yes

This will take a while to install the minimum set of libraries and tools for OTAWA. Be patient…

After that, recall to use the otawa-install command in OTAWA_HOME/bin/otawa-install.py to install some plug-in.

To get the list of plugins, just type:

OTAWA_HOME/bin/otawa-install.py -l

Notice that OTAWA is first delivered alone (no instruction set, no micro-architecture except trivial ones, no ILP solver). You have to use otawa-install.py to install them.