Supported targets for static WCET analysis

Below is a brief overview of the target architectures currently supported by aiT.
The links take you to in-depth factsheets.

Am486

  • Am486, IntelDX4
  • C, C++
  • CAD-UL compiler

ARM

  • ARM7TDMI,
    ARM720T,
    various Cortex derivates
  • C, C++, Ada
  • ARM, CompCert, Diab, GCC, GHS, IAR, Keil, LLVM/Clang, Tasking, TI
  • 10+ Qualification Support Kits

C16x

  • various C16x, ST10, XC167, and XC2000 derivates
  • C, C++
  • Keil, Tasking
  • 6 Qualification Support Kits

C28x

  • various TMS320F28x derivates
  • C, C++
  • TI compiler
  • Qualification Support Kit

C33x

  • TMS320C33
  • C, C++
  • TI compiler

ERC32

  • ERC32
  • C, C++, Ada
  • GCC, GNAT, LLVM/Clang

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

LEON2

  • LEON2
  • C, C++, Ada
  • GCC, GNAT, LLVM/Clang

LEON3

  • LEON3
  • C, C++, Ada
  • GCC, GNAT, LLVM/Clang
  • Qualification Support Kit

M68k

  • 68020 with one 68882 coprocessor,
    ColdFire MCF5307
  • C, C++, Ada
  • Diab, GCC, HP68000, Microtec, XD Ada
  • Qualification Support Kit

MicroBlaze

PowerPC e200

  • various 55xx, 56xx, 57xx, and SPC58x derivates
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
  • 7 Qualification Support Kits

PowerPC e300

  • various 51xx, 52xx, 603e, 82xx, and 83xx derivates
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
  • 3 Qualification Support Kits

PowerPC 5xx

  • MPC555,
    MPC561 through 566
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
  • 3 Qualification Support Kits

PowerPC 7448

  • MPC7448
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
  • Available at our discretion

PowerPC 7448s

  • MPC7448 (simple memory model),
    MPC7447A
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE

PowerPC 750

  • PPC750GL and GX
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
  • 2 Qualification Support Kits

PowerPC 755

  • MPC755 Hurricane
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
  • 2 Qualification Support Kits
  • Available at our discretion

PowerPC 755s

  • MPC755 (simple memory model),
    MPC745
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE

RISC-V

TriCore

  • many AUDO and AURIX derivates (TC1x, TC2x, TC3x, TC499)
  • C, C++
  • Diab, Tasking, GHS, GCC, HighTec
  • 4 Qualification Support Kits

V850

  • various V850E, FOREST, and VFOREST derivates
  • C
  • GHS, Diab, Renesas

What’s more

aiT WCET Analyzers for further processor–compiler combinations are under development, or can be developed on request. 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 approach that combines aiT’s 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 code, for a period of 30 days. The free-trial license covers:

Request your free trial package today, complete with free training and tech support.