OTAWA
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…

PapaBench

PapaBench is a WCET benchmark derived from a real drone application, Paparazzi project. It has been slightly modified to be compiled for any architecture (originally AVR). It is structured as two applications running on different core but they can easily…

GEL

GEL

GEL is a small library that provides facilities to handle ELF executable files. It provides support for basic ELF file reading, execution image building and source line debugger information. This library is written in plain C. GEL is published under…

GLISS

GLISS

GLISS stands for Generator of Instruction Set Simulator. Although OTAWA does not really perform simulation, it re-uses lots of features of GLISS (like instruction decoding, disassembling, etc) and its ADL (Architecture Description Language) to decode programs in binary form. You…

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…