Supported targets for static WCET analysis

Am486

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

ARM

  • ARM7TDMI, ARM720T,
    various Cortex derivates
  • C, C++, Ada
  • ARM, Keil, CompCert, Diab, GCC, GHS, IAR, 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

HC11

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 Kit

M32

M68k

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

MicroBlaze

PCP2

PowerPC e200

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

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

  • 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
  • 4 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

What’s more

aiT WCET Analyzers for further processor–compiler combinations are under development, and can also 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 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

aiT screenshot

You can try aiT for free, on your own applications, for a period of 30 days. The free license covers:

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