Unterstützte Targets für die WCET-Analyse

Zurzeit unterstützt aiT die folgenden Prozessoren und Compiler:

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

aiT läuft unter Windows 10 und 64-Bit-Linux.

Testen Sie jetzt eine Version Ihrer Wahl kostenlos und unverbindlich 30 Tage lang an Ihren eigenen Anwendungen.

aiT wird ständig an eine Vielzahl von Prozessoren und Compilern angepaßt. Weitere Versionen könnten also in Kürze erhält­lich sein oder aber auf Anfrage entwickelt werden. Unterstützung für macOS ist bei Bedarf gegen Aufpreis möglich. Bei allen Fragen schreiben Sie an info@absint.com.