Supported targets for hybrid WCET analysis

Architectures and trace formats

Compilers

ARM ARM Developer Suite C/C++ CompCert GCC GNU C++ Green Hills MULTI C/C++ IAR C/C++ Keil MDK-ARM C/C++ LLVM/Clang-based, e.g. HighTec Tasking C/C++ Texas Instruments C/C++ Wind River Diab C/C++
TriCore GCC GNU C++ HighTec GNU C/C++ Tasking C/C++ Wind River Diab C/C++
PowerPC AdaCore GNAT Pro C/C++/Ada CodeWarrior C/C++ CompCert Green Hills C/C++/Ada GCC GNU C++ HighTec GNU C/C++ Wind River Diab C/C++
ColdFire GCC GNU C++ HP 68000 C/Ada Microtec C Wind River Diab C/C++ XD Ada
V850/RH850 Green Hills C/C++/Ada Renesas CS+ Wind River Diab C/C++

Free 30-day trial

You can try TimeWeaver for free, on your own code, for one supported target processor of your choice and any number of supported compilers.

What’s more

On request, TimeWeaver can be adapted for any of the target architectures that we already support with either StackAnalyzer or aiT.

For example, for the EU project TRISTAN a custom version of TimeWeaver for RISC-V was made available.

Please write to info@absint.com with any questions.