Datenblatt für aiT für TriCore

aiT für TriCore berechnet automatisch korrekte und enge Schranken für die schlimmstmöglichen Ausführungszeiten von Tasks in Ihrem Echtzeitsystem. Es analysiert unmittelbar die ausführbaren Binär­dateien des Systems und berücksichtigt dessen Cache- und Pipeline-Verhalten.

Ihre Vorteile

• Die von aiT berechneten Schranken sind eng und spiegeln die tat­säch­liche Leistung Ihres Systems wider. Das er­mög­licht eine bessere Hardware-Auslastung – ohne Kom­pro­misse bei der Si­cher­heit.
• Die Analyseergebnisse sind für alle Eingaben und alle Aus­führungs­szenarien gültig. Die Berechnung läuft voll­automatisch; es ist nicht erforderlich, die schlimmst­möglichen Eingaben manuell herauszufinden. Fehlerträchtige und zeit­raubende Meß­ver­fahren können verkürzt oder ersetzt werden. Das erhöht die Sicherheit, spart Zeit und senkt Systemkosten.
• aiT analysiert Binärdateien und ist daher weitgehend unabhängig von der ver­wendeten Pro­gram­mier­sprache und dem eingesetzten Compiler. Sie müssen also keine Änderungen an Ihrer Software oder an Ihren Produktionsabläufen vornehmen.
• Der Einsatz von aiT wird von allen aktuellen Sicherheitsstandards wie ISO 26262, DO-178B/C, IEC-61508 und EN-50128 dringend empfohlen bis ausdrücklich verlangt.

Unterstützte Compiler

• TASKING für C und C++
• GCC für C und C++
• HighTec-GCC für C und C++
• Diab (WindRiver) für C und C++
• GHS (Green Hills) für C und C++

Unterstützte Prozessorderivate

• Aus der AUDO-Familie (Kernvariante 1.3.x):
  TC1197, TC1767, TC1782, TC1784, TC1796, TC1797
• Aus der AURIX-Familie (Kernvarianten 1.6P/1.6E/1.6.1):
  TC212, TC222, TC23x, TC26x, TC27x, TC29x
• AURIX der zweiten Generation (Kernvariante 1.6.2P):
  TC32x, TC33x, TC35x, TC36x, TC37x, TC38x, TC39x
• AURIX der dritten Generation (Kernvariante 1.8):
  TC499

Neueste Verbesserungen

• Release 24.04:
  • Überarbeitete Instruktionstyp-Klassifizierung
  • Verbesserter Umgang mit TRAPINV, Division durch Null und CSA-Chain-Initialisierung im OS-Code
  • Verbessertes Switch-Table-Decoding für GCC
• Release 23.10:
  • Verbessertes automatisches Decoding von Kontrollflußzielen für syscall and trap
  • Verbessertes Switch-Table-Decoding für Clang
• Release 23.04:
  • Verbessertes automatisches Decoding von berechneten Kontrollflußübergängen
  • Verbessertes Switch-Table-Decoding für Tasking

Integration mit ASCET

aiT für TriCore bietet eine enge Integration mit ASCET von ETAS. Sie können aiT direkt aus dem ASCET-Projektmenü aufrufen, um eine statische Timinganalyse Ihres automatisch erzeugten ECU-Codes durchzuführen.

Systemanforderungen

• 64-Bit-Windows (10 oder neuer)
• 64-Bit-Linux (CentOS/RHEL 7 oder vergleichbar)
• 4 GB Plattenplatz
• 4 GB RAM (16 GB empfohlen)
• Die Linux-Version geht davon aus, daß die libxcb-*-Bibliotheken installiert sind
• Unterstützung für macOS ist möglich auf Anfrage und gegen Aufpreis