PapaBench is a WCET benchmark derived from a real drone application, [[https://wiki.paparazziuav.org/wiki/Main_Page|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 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 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…