OTAWA

About us

About OTAWA

OTAWA (Open Tool for Adaptive WCET Analyses) is a framework of C classes dedicated to static analyses of programs in machine code and to the computation of WCET (Worst Case Execution Time).

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 IPET (Implicit Path Enumeration Technique) 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, Sparc or M68HCS. More ISA (Instruction Set Architectures) are currently under development like TriCore.

OTAWA2
logoIRIT_669_145.gif

Projects Using OTAWA

Your project is not listed here? Contact us to add it!