Statische WCET-Analyse für allerlei Architekturen

Am486

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

ARM

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

C16x

  • diverse C16x-, ST10-, XC167- und XC2000-Derivate
  • C, C++
  • Keil, Tasking
  • 6 Qualification-Support-Kits

C28x

  • diverse TMS320F28x-Derivate
  • 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 (inkl. Hiware, Metrowerks)

i386DX

  • i386DX mit Mask-Revision D1 oder neuer
  • PL/I
  • PL/I-Compiler
  • Qualification-Support-Kit

Kalray

  • Entwickelt für das EU-Projekt ASSUME
  • Nicht frei erhältlich
  • MPPA, MPPA2;
    Weiter­entwicklung für MPPA3 möglich
  • Schreiben Sie an 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

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

PowerPC e300

  • diverse 51xx-, 52xx-, 603e-, 82xx- und 83xx-Derivate
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE
  • 3 Qualification-Support-Kits

PowerPC 5xx

  • MPC555,
    MPC561 bis 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
  • Bestimmten Kunden vorbehalten

PowerPC 7448s

  • MPC7448 (einfaches Speichermodell),
    MPC7447A
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE

PowerPC 750

  • PPC750GL und 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
  • Bestimmten Kunden vorbehalten

PowerPC 755s

  • MPC755 (einfaches Speichermodell),
    MPC745
  • C, C++, Ada
  • Diab, CompCert, GHS, GCC, HighTec, GNAT, CodeWarrior, SCORE

RISC-V

  • Prototyp, derzeit nicht aktiv beworben
  • GCC, CompCert, LLVM/Clang
  • Schreiben Sie an info@absint.com

TriCore

  • viele AUDO- und AURIX-Derivate (TC1x, TC2x, TC3x, TC499)
  • C, C++
  • Diab, Tasking, GHS, GCC, HighTec
  • 4 Qualification-Support-Kits

V850

  • diverse V850E-, FOREST- und VFOREST-Derivate
  • C
  • GHS, Diab, Renesas
  • (E1 core)
    (E2 core)

Xentium

Mehr geht immer

aiT wird ständig an zusätzliche Prozessoren und Compiler angepaßt. Unterstützung für weitere Architekturen kann also schon in Kürze erhält­lich sein – oder aber auch auf Anfrage entwickelt werden.

Selbst, wenn’s nicht geht

Bei einigen modernen Hochleistungsprozessoren kann eine rein statische Vorhersage der Ausführungszeit nicht geleistet werden – ob aufgrund der Komplexität oder der einstweilen nicht ausreichenden Dokumentation.

Etliche solcher Architekturen decken wir dennoch ab – mit einer hybriden Lösung, die aiTs statische Pfadanalyse mit nichtinvasivem Echtzeit-Tracing kombiniert. Dieser Ansatz entspricht auch den aktuellen Empfehlungen von CAST-32A und EASA AMC 20-193.

Bei allen Fragen schreiben Sie einfach an info@absint.com.

Jetzt ausprobieren

Sie können aiT 30 Tage lang kostenlos an Ihren Anwendungen ausprobieren. Ihre kostenlose Lizenz deckt ab:

aiT-Screenshot

Starten Sie gleich mit Ihrer kostenlosen Evaluierung.