Supported targets for WCET analysis

aiT WCET Analyzers are currently available for the following processor–compiler com­bi­na­tions:

Am486, IntelDX4 CAD-UL Tool Suite compiler
ARM
CompCert (INRIA/AbsInt)
GCC
Green Hills MULTI for ARM
IAR
Keil MDK-ARM
TASKING (Altium)
TI (Texas Instruments)
C16x/ST10 TASKING (Altium)
KEIL (ARM)
C28x TI (Texas Instruments)
C33 TI (Texas Instruments)
ERC32 GCC
GNAT
HCS12 Hiware (Metrowerks/Freescale)
Cosmic
IAR
i386DX PL/I compiler
LEON2, LEON3 GCC
GNAT
M68020 HP 68000, C or Ada
XD Ada (EDS)
GCC
PowerPC
5xx, e200 (55xx, 56xx, 57xx),
e300 (603e, 82xx, 83xx, 52xx),
7448, 7448s, 750, 755, 755s
Diab (WindRiver), C or Ada
GHS (Green Hills), C or Ada
GCC
HighTec GCC
CodeWarrior (Freescale)
TriCore (incl. AURIX) TASKING (Altium)
GCC
HighTec GCC
Diab (WindRiver)
V850E GHS (Green Hills)
Diab (WindRiver)

All these 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.

Versions for other processor–compiler combinations are under development, or can be developed on request. If your processor, compiler, or operating system is not mentioned above, contact us.