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 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.
Projects Using OTAWA ∞
- W-SEPT (french ANR)
- parMERASA (FP-7)
- MERASA (FP-7)
- MORE (french ANR)
- MASCOTTE (french ANR)
R2D2 (ONERA internal project)
Your project is not listed here? Contact us to add it!