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 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!