Zurzeit ist aiT für die folgenden Prozessoren und Compiler erhältlich:
Am486, IntelDX4 | CAD-UL |
ARM | ARM, Keil MDK-ARM |
CompCert (INRIA/AbsInt) | |
Diab (WindRiver), C oder Ada | |
GCC | |
Green Hills MULTI für ARM, C oder Ada | |
HighTec LLVM/Clang | |
IAR | |
TASKING | |
TI (Texas Instruments) | |
C16x/ST10 (inkl. XC2xxx) | KEIL (ARM) |
TASKING | |
C28x | TI (Texas Instruments) |
C33 | TI (Texas Instruments) |
ERC32 | GCC |
GNAT | |
LLVM/Clang | |
HCS12 | Cosmic |
Hiware (Metrowerks/Freescale) | |
IAR | |
i386DX | PL/I compiler |
LEON2, LEON3 | GCC |
GNAT | |
LLVM/Clang | |
M68020 | Diab C/C++ (WindRiver) |
GCC C/C++ | |
HP 68000, C oder Ada | |
Microtec C (Siemens) | |
XD Ada (EDS) | |
PowerPC e200 (55xx, 56xx, 57xx, 58xx), e300 (603e, 82xx, 83xx, 52xx), 5xx, 7448, 7448s, 750, 755, 755s |
CodeWarrior (Freescale) |
CompCert (INRIA/AbsInt) | |
DiabData (WindRiver), C oder Ada | |
GCC | |
GHS (Green Hills), C oder Ada | |
GNAT Pro (AdaCore), C, C++ oder Ada | |
HighTec GCC | |
TriCore (inkl. AURIX) | Diab (WindRiver) |
GCC | |
GHS (Green Hills) | |
HighTec GCC | |
TASKING | |
V850E | Diab (WindRiver) |
GHS (Green Hills) | |
Renesas CS+ |
Alle genannten Versionen laufen unter Windows 10 und 64-Bit-Linux. Unterstützung für macOS ist auf Anfrage und gegen Aufpreis möglich.
Sie können eine aiT-Version Ihrer Wahl 30 Tage lang kostenlos testen.
aiT wird ständig an neue Prozessoren und Compiler angepaßt. Unterstützung für weitere Architekturen kann also in Kürze erhältlich sein oder aber auf Anfrage entwickelt werden.
Bei einigen modernen Hochleistungsprozessoren kann eine rein statische Vorhersage der Ausführungszeit nicht geleistet werden. Für viele solcher Architekturen bieten wir mit TimeWeaver eine hybride Lösung an, die statische Analysen mit Echtzeit-Tracing kombiniert.
Bei allen Fragen wenden Sie sich einfach an info@absint.com.