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 RISC-V. More ISA (Instruction Set Architectures) are currently under development like TriCore.
Projects Using OTAWA
- CAPHCA (IRT Saint Exupéry)
- CAPACITES (PIA LEOC)
- W-SEPT (french ANR)
- parMERASA (FP-7)
- SOCKET (french FUI)
- MERASA (FP-7)
- MORE (french ANR)
- MASCOTTE (french ANR)
- R2D2 (ONERA internal project)
Your project is not listed here? Contact us to add it!