Supported targets for WCET estimates

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

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

Preliminary 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.

All the versions run under 64-bit Windows and 64-bit Linux.

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