Am486
- Am486 DX, IntelDX4
- C, C++
- CAD-UL compiler
ARM+7
- ARM7TDMI, ARM720T,
various Cortex-M and -R derivates - C, C++, Ada
- ARM, Keil, CompCert, Diab, GCC, GHS, IAR, LLVM/Clang, Tasking, TI
- Qualification Support Kits
C16x
- various C16x, ST10, XC167, and XC2000 derivates
- C, C++
- Keil, Tasking
- Qualification Support Kits
C28x
- various TMS320F28x derivates
- C, C++
- TI compiler
- Qualification Support Kits
C33x
- TMS320C33
- C, C++
- TI compiler
ERC32
- ERC32
- C, C++, Ada
- GCC, GNAT, LLVM/Clang
HC11
- MC68HC11K1
- C
- Cosmic
- Discontinued in 2015
- Write to info@absint.com
HCS12
- HCS12/STAR12,
HCS12X/XE - C, C++
- Cosmic, IAR, Freescale (aka Hiware, aka Metrowerks)
i386DX
- i386DX with mask revision D1 or later
- PL/I
- PL/I compiler
- Qualification Support Kit
Kalray
- Developed for the EU project ASSUME
- Available at our discretion
- MPPA, MPPA2;
MPPA3 doable on request - Write to info@absint.com
LEON2
- LEON2
- C, C++, Ada
- GCC, GNAT, LLVM/Clang
LEON3
- LEON3
- C, C++, Ada
- GCC, GNAT, LLVM/Clang
- Qualification Support Kits
M32
- M32C/85
- C
- GCC, IAR
- Discontinued in 2011
- Write to info@absint.com
M68k
- 68020 with one 68882 coprocessor,
ColdFire MCF5307 - C, C++, Ada
- Diab, GCC, HP, Microtec, XD Ada
- Qualification Support Kits
MicroBlaze
- Developed for the EU project CERTAINTY
- Available at our discretion
- Write to info@absint.com
PCP2
- PCP2
- C
- Tasking
- Discontinued in 2011
- Write to info@absint.com
PowerPC e200+4
- various 55xx, 56xx, 57xx, and SPC58x derivates
- C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
- Qualification Support Kits
- (single core)
(two-core 57xx)
PowerPC e300+4
- various 51xx, 52xx, 603e, 82xx, and 83xx derivates
- C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
- Qualification Support Kits
PowerPC 5xx+4
- MPC555,
MPC561 through 566 - C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
- Qualification Support Kits
PowerPC 7448+4
- MPC7448
- C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
- Reserved for select customers
PowerPC 7448s+4
- MPC7448 (simple memory model),
MPC7447A - C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
PowerPC 750+4
- PPC750GL and GX
- C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
- Qualification Support Kits
PowerPC 755+4
- MPC755 Hurricane
- C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
- Qualification Support Kits
- Reserved for select customers
PowerPC 755s+4
- MPC755 (simple memory model),
MPC745 - C, C++, Ada
- Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
RISC-V
- Prototype, not widely advertised for now
- GCC, CompCert, LLVM/Clang
- Write to info@absint.com
TriCore
- many AUDO and AURIX derivates (TC1x, TC2x, TC3x, TC499)
- C, C++
- Diab, Tasking, GHS, GCC, HighTec
- Qualification Support Kits
V850
- various V850E, FOREST, and VFOREST derivates
- C
- GHS, Diab, Renesas
- (E1 core)
(E2 core)
Xentium
- Developed for the EU project ARGO
- Available at our discretion
- LLVM/Clang
- Write to info@absint.com
Qualification Support Kits can be developed on demand for any processor and compiler listed. Where QSKs are mentioned explicitly, they have already been developed and are available immediately, for the latest version of aiT as well as for select older releases.
What’s more
aiT WCET Analyzers for further processor–compiler combinations are under development, and can also be developed on request. Please write to info@absint.com with any questions.
For modern high-performance processors that are not statically predictable — or are not sufficiently documented to build a static timing model —, we offer a hybrid solution that combines aiT’s exhaustive context-sensitive path analysis with non-intrusive real-time instruction-level tracing. This approach is compliant with CAST-32A and EASA AMC 20-193.
Free trial
You can try aiT for free, on your own applications, for a period of 30 days. The free license covers:
- One supported target processor of your choice
- Any number of supported compilers
- More than one physical machine if needed, but no VMs
- Windows, Linux, or both
- The ValueAnalyzer add-on, and also StackAnalyzer if you wish
Request your free trial package today, complete with free online training and tech support.
