Supported targets for WCET estimates

TimingProfiler is currently available for the following processor families and compilers:

ARM ARM
CompCert (INRIA/AbsInt)
Diab (WindRiver), C or Ada
GCC
Green Hills MULTI for ARM
HighTec LLVM/Clang
IAR
Keil MDK-ARM
TASKING
TI (Texas Instruments)
LEON2 GCC
GNAT
LLVM/Clang
LEON3/4 GCC
GNAT
LLVM/Clang
PowerPC CodeWarrior (Freescale)
CompCert (INRIA/AbsInt)
Diab (WindRiver), C or Ada
GCC
GHS (Green Hills), C or Ada
GNAT Pro (AdaCore), C, C++ or Ada
HighTec GCC
TriCore
incl. AURIX
Diab (WindRiver)
GCC
GHS (Green Hills)
HighTec GCC
TASKING
V850/RH850 Diab (WindRiver)
GHS (Green Hills)
Renesas CS+

Generic versions of TimingProfiler are available for:

Versions for even more processors are under development, or can be developed on request. If your processor or compiler is missing on the list, let us know at support@absint.com.

TimingProfiler runs under Windows 10 and 64-bit Linux. Support for macOS is available on request for a surcharge.

You can try any version for free, on your own application, for a period of 30 days.