Worst-case execution time analysis • OTAWA: Open Tool for Adaptive WCET Analyses

2015-07-02T14:40:39+01:00

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/

Statistics: Posted by glipari — Thu Jul 02, 2015

Tools and Benchmarks for Real-Time Systems

Worst-case execution time analysis • OTAWA: Open Tool for Adaptive WCET Analyses