This repository contains tools for the Worst-Case Execution Time (WCET) analysis of software targeting ARMv7 processors.
-
examples/
Includes example projects for WCET evaulation. -
source/
Includes the OTAWA framework source with all necessary extensions. -
install/
OTAWA ARMv7 install packages (.deb & .rpm) -
Instruction_Set_Test/
Assembly instruction test for ARMv7-Loader (originally from llvm). -
XMC4500_OTAWA_Script_v2/
A processor script for the Infineon XMC4500 microcontroller.
This work has been conducted in the context of the public funded R&D project Software Analysis Toolbox managed by the Vienna City Council MA23.