Content

This pages propose a training in OTAWA programming. They require a working installation of OTAWA and the otawa-config utility to be accessible on the current execution path. This may be checked by typing the following in a command line interface:

$ otawa-config -h

This command should display information and options about the command.

If an error message, telling that the command does not exist, you can add the directory OTAWA_ROOT/bin to your PATH variable with OTAWA_ROOT the install directory of OTAWA.

According to your OS, this can done as below:

• Unix (BA)SH

$ export PATH=$PATH:OTAWA_ROOT/bin

• Unix CSH

$ setenv PATH ($PATH OTAWA_ROOT/bin)

• Windows

set PATH=%PATH%;OTAWA_ROOT/bin

To get direct documentation of classes, it is good to look in the automatic documentations :

• OTAWA

• ELM

Now, you can perform the exercises in the tutorial proposed in this document.