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++
RISC-V
(coming soon)
GCC CompCert LLVM/Clang

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.