OTAWA
Welcome to OTAWA
Welcome to OTAWA
OTAWA is an open source framework to compute WCET. It allows computing WCET but provides also a sound framework to support new architectures.
WCET by static analyses
WCET by static analyses
OTAWA uses static analysis performed at machine level combined with hardware models to provide sound overestimation of WCET.
Eclipse Plugin
Eclipse Plugin
For simple computation of the WCET, yon can use our Eclipse plugin. From the OTAWA perspective, the application may be visited and tasks configured.
WCET Exploration
WCET Exploration
Once the WCET is computed, the time-consuming parts may be examined using different views from sources to Control Flow Graph.
Machine Language Framework
Machine Language Framework
OTAWA is mainly a framework dedicated to static analysis on machine language. Several tools and representations are provided with abstract interpretation engines.
Instruction Sets
Instruction Sets
OTAWA supports several instructions sets like ARM, PowerPC, Sparc, TriCore thanks to the GLISS simulator generator.
Development Tools
Development Tools
OTAWA provides lots of tools to help the development of new extensions to check, control, explore and display the program in assembly language. In addition, lots of common analyses are already provided reducing the weight of adding new analyses.
Extensible Framework
Extensible Framework
The open architecture of the framework makes really easy the addition of extensions like instruction sets, analyses, ILP engines, etc. In addition, the support of a new microprocessor model is made of XML scripts very easy to write but providing…
OTAWA v2 (soon)

OTAWA v2 (soon)

OTAWA v2 is in development since 2 years. New features include (but are not limited to): otawa-install.py — automatic installer/compiler for OTAWA optional modules (instruction, micro-architecture, analyses, etc) otawa-stat.py — generation of statistics for a WCET analysis, new CFG system…

casse News No Comments
Read more