OTAWA1) is a framework of C++ classes dedicated to static analyses of programs in machine code and to the computation of WCET2).

OTAWA is freely available (under the LGPL licence) and is developed by the TRACES team at IRIT labs, University of Toulouse, France.

OTAWA provides state-of-art WCET analyses like IPET3) and a lot of facilities to work on binary programs (control flow graphs, loop detection and so on).

OTAWA successfully supports several architectures like PowerPC, ARM or M68HCS. More ISA4) are currently under development like TriCore.

OTAWA is currently used in several research projects:

• MASCOTTE (ANR5), Num@Tec Automotive cluster),
• MORE (ANR)
• MERASA (european project)
• SOCKET (french FUI project)

[12/24/01] OTAWA will be at ERTS² 2012 in Toulouse !

[11/14/11] New development version here including Linux 64-bits port.

[09/20/11] OTAWA is currently ported to different OS. Development version is now available for Windows here integrated with Eclipse. MacOSX version will be soon available.

[02/22/11] New development version to download here here.

[02/01/11] Eclipse with OTAWA plugin is published and can be downloaded here. Only for preview, it does not contain any micoprocessor timing model.

[01/11/11] A new way to download and install OTAWA with, we hope, a monthly version here.

[12/02/09] A page to download development versions of OTAWA is added here.

[10/09/08] The next version of OTAWA (V0.6) is planned for January, 2009.