- 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
- Kundenspezifische Tools (z. B. 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 |
|---|---|---|---|---|
| Am486 | + | + | + | − |
| ARC | − | + | + | − |
| ARM | − | + | + | − |
| C16x/ST10 | + | + | + | − |
| C33 | + | + | + | − |
| ERC32 | + | + | − | − |
| H8 | − | + | + | − |
| HC11 | + | + | + | − |
| HCS12 | + | + | + | − |
| i386DX | + | + | + | − |
| LEON2 | + | + | + | − |
| LEON3 | + | + | + | − |
| M68020 | + | + | + | − |
| MPC5xx | + | + | + | − |
| MPC55xx | + | + | + | + |
| MPC56xx | + | + | + | − |
| MPC603e | + | + | + | + |
| MPC7448 | + | + | + | − |
| MPC7448s | + | + | + | − |
| MPC755 | + | + | + | − |
| MPC755s | + | + | + | + |
| IBM PPC750 | + | + | + | − |
| PPC (sonstige) | − | + | + | − |
| TriCore | + | + | + | − |
| V850 | + | + | + | − |
| x86 (flat) | − | + | + | − |
| x86 (rm) | − | + | + | − |
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 XP SP2)
- 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.