OTAWA: Open Tool for Adaptive WCET Analyses

Tools for timing analysis on code level
Post Reply
Posts: 2
Joined: Thu Jul 02, 2015
Location: Université de Lille

OTAWA: Open Tool for Adaptive WCET Analyses

Post by glipari » Thu Jul 02, 2015

OTAWA is a framework of C/C++ classes dedicated to static analyses of programs in machine code and to the computation of WCET. It 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 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 ISA4) are currently under development like TriCore.

Web site: http://www.otawa.fr/

Post Reply