aiT für ARM berechnet automatisch korrekte und enge Schranken für die schlimmstmöglichen Ausführungszeiten von Tasks in sicherheitskritischer Software, die in C, C++ oder Ada geschrieben oder erzeugt und für ARM-Prozessoren kompiliert wurde.
Ihre Vorteile
- aiT analysiert unmittelbar die ausführbaren Binärdateien und berücksichtigt das Cache- und Pipeline-Verhalten des Prozessors, auf dem sie ausgeführt werden. Für die Analyse müssen also keine Änderungen an Ihrer Software, an Ihrem Echtzeitsystem oder an Ihren Produktionsabläufen vorgenommen werden.
- Die Analyseergebnisse sind für alle Eingaben und alle Ausführungsszenarien gültig. Die Berechnung läuft vollautomatisch; es ist nicht erforderlich, die schlimmstmöglichen Eingaben manuell herauszufinden. Zeitraubende und fehleranfällige Meßverfahren können verkürzt oder ersetzt werden. Das erhöht die Sicherheit, spart Zeit und senkt die Systemkosten.
- Die von aiT berechneten Schranken sind eng und spiegeln die tatsächliche Leistung Ihres Systems wider. Das ermöglicht eine bessere Hardware-Auslastung – ohne Kompromisse bei der Sicherheit.
- 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 Prozessorderivate
- ARM7TDMI
- ARM720T (Sharp LH79520)
- ARM Cortex-M0 (STM32F0DISCOVERY)
- ARM Cortex-M1 (Milandr 1986VE1T)
- ARM Cortex-M3 (z. B. STM32F103xx)
- ARM Cortex-M4 (Infineon XMC4500)
- ARM Cortex-R4F (TI TMS570LS3137)
- ARM Cortex-R4F LCR
- ARM Cortex-R5F (TI TMS570LC4357)
Unterstützte Compiler
- ARM Developer Suite C/C++
- Der formal verifizierte CompCert-Compiler
- GNU C/C++ (GCC)
- Green Hills MULTI ARM (C, C++ oder Ada)
- IAR C/C++
- KEIL MDK-ARM C/C++ compiler suite
- HighTec LLVM
- Other LLVM/Clang-basierte ARM-Compiler
- Tasking C/C++
- Texas Instruments C/C++
- Wind River Diab C/C++
Toolqualifizierung
Der Einsatz von aiT für ARM kann nach ISO 26262, DO-178B/C und anderen Standards qualifiziert werden. Wir bieten Qualifizierungskits an, die Sie bei der Qualifizierung unterstützen:
- Prozessorspezifische Kits
- Optionale compilerspezifische Zusatzkits für
- GCC 4.7.4
- GCC 4.9.3
- KEIL 5.02.0.28
- TI 4.9.1
- TI 20.2.1.lts
Zusatzkits für andere Compiler können auf Anfrage entwickelt werden.
Systemanforderungen
- 64-Bit-Windows 10 oder 11
- 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
Jetzt ausprobieren
Testen Sie aiT kostenlos 30 Tage lang an Ihren eigenen Anwendungen.
