- a³
- Screenshots
a³ ist eine Benutzeroberfläche, die verschiedene AbsInt-Tools zur statischen Programmanalyse miteinander vereint.
a³ kann eine beliebige Kombination aus den folgenden Tools enthalten:
- aiT zur WCET-Analyse
- StackAnalyzer zur Stackanalyse
- ValueAnalyzer zur Valueanalyse
- TimingExplorer zur Architekturanalyse auf der ECU-Ebene
- TimeWeaver zur Erforschung von meßbasierten Zeitschranken
Ihre Vorteile
Dank der gemeinsamen a³-Benutzeroberfläche können Sie
- schnell zwischen den verschiedenen Analyse-Tools schalten,
- jederzeit einen genauen Überblick über alle Analyseergebnisse behalten,
- verschiedene Analyse-Szenarien bequem speichern und wiederherstellen
- sowie von nahtlos integrierten grafischen und textuellen Anzeigen profitieren (Kontrollfluß, Analyseergebnisse, Quellcode, Assembly-Code, Konfigurationsdateien).
Mit a³ sparen Sie wertvolle Zeit und senken somit Ihre Entwicklungskosten.
Unterstützte Prozessoren
Zurzeit sind folgende a³-Module erhältlich:
| a³ für… | aiT | StackAnalyzer | ValueAnalyzer | TimingExplorer | TimeWeaver |
|---|---|---|---|---|---|
| am486 | ✓ | ✓ | |||
| ARC | ✓ | ✓ | |||
| ARM7 | ✓ | ✓ | ✓ | ✓ | |
| C16x/ST10 | ✓ | ✓ | ✓ | ||
| C33/TMS320C3x | ✓ | ✓ | ✓ | ||
| HC11 | ✓ | ✓ | ✓ | ||
| HCS12/STAR12 | ✓ | ✓ | ✓ | ||
| i386 | ✓ | ✓ | |||
| LEON2 | ✓ | ✓ | ✓ | ||
| LEON3 | ✓ | ✓ | ✓ | ||
| M68020 | ✓ | ✓ | ✓ | ||
| MPC 5xx | ✓ | ✓ | ✓ | ||
| MPC 603e | ✓ | ✓ | ✓ | ✓ | |
| MPC 55xx | ✓ | ✓ | ✓ | ✓ | |
| MPC 755 | ✓ | ✓ | ✓ | ||
| MPC 755s | ✓ | ✓ | ✓ | ✓ | |
| IBM PPC750 | ✓ | ||||
| IBM PPC750s | ✓ | ||||
| PPC (other) | ✓ | ✓ | |||
| PCP2 | ✓ | ||||
| TriCore | ✓ | ✓ | ✓ | ✓ | |
| V850 | ✓ | ✓ | ✓ |
Unterstützung für weitere Prozessoren ist in Arbeit. Bei Fragen nehmen Sie einfach Kontakt mit uns auf.
Unterstützte Betriebssysteme
- 32-Bit- und 64-Bit-Linux
- 32-Bit-Windows (ab Windows 2000)
- 64-Bit-Windows (ab Windows Vista)
Qualification-Support-Kits (QSKs)
Zurzeit sind folgende QSKs für DO-178B level A erhältlich:
- MPC5xx/Diab (WCET-Analyse)
- MPC55xx/GCC (WCET- und Stackanalyse)
- MPC603e/Diab (WCET-Analyse)
- MPC755/Diab (WCET- und Stackanalyse)
- PPC/Diab (Stackanalyse)
- PPC/GCC (Stackanalyse)
- IBM PPC750 (WCET-Analyse)
- IBM PPC750s (WCET-Analyse)
- C16x/Tasking (WCET- und Stackanalyse)
- HC11/Cosmic (WCET-Analyse)
- i386/CAD-UL (WCET-Analyse)
- M68020/GCC (WCET- und Stackanalyse)
- TriCore/HighTec GCC (WCET-Analyse)
Jetzt testen
Sie können a³ kostenlos und unverbindlich an Ihren eigenen Anwendungen testen. Wenden Sie sich einfach an support@absint.com oder rufen Sie uns an.