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
- TimingProfiler zur WCET-Abschätzung in frühen Entwicklungsphasen
- TimeWeaver zur hybriden WCET-Analyse
- Vielfältige kundenspezifische Tools
Ihre Vorteile
Dank der gemeinsamen a³-Benutzeroberfläche können Sie:
- schnell zwischen den verschiedenen Analyse-Tools schalten,
- jederzeit den besten Ü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).
Somit sparen Sie wertvolle Zeit und senken Ihre Entwicklungskosten.
a³ unterstützt auch Batchmode-Betrieb und ermöglicht damit ein hohes Grad an Automatisierung und nahtlose Integration in bestehende Toolchains. Ein kostenloses Jenkins-Plugin ist ebenfall erhältlich.
Unterstützte Prozessoren
| aiT | StackAnalyzer | ValueAnalyzer | TimingProfiler | Andere | |
|---|---|---|---|---|---|
| Am486, IntelDX4 | ✓ | ✓ | ✓ | ✓ | ✗ |
| ARM | ✓ | ✓ | ✓ | ✓ | ✓ |
| C16x/ST10 | ✓ | ✓ | ✓ | ✓ | ✓ |
| C28x | ✓ | ✓ | ✓ | ✓ | ✗ |
| C33 | ✓ | ✓ | ✓ | ✓ | ✗ |
| ERC32 | ✓ | ✓ | ✓ | ✓ | ✓ |
| FR81S | ✗ | ✓ | ✓ | ✓ | ✗ |
| HCS12 | ✓ | ✓ | ✓ | ✓ | ✗ |
| i386DX | ✓ | ✓ | ✓ | ✓ | ✗ |
| LEON2 | ✓ | ✓ | ✓ | ✓ | ✓ |
| LEON3 | ✓ | ✓ | ✓ | ✓ | ✓ |
| M68020 | ✓ | ✓ | ✓ | ✓ | ✓ |
| MCS 51 | ✗ | ✓ | ✓ | ✓ | ✗ |
| MSP430(x) | ✗ | ✓ | ✓ | ✓ | ✗ |
| MPC5xx | ✓ | ✓ | ✓ | ✓ | ✓ |
| e200 | ✓ | ✓ | ✓ | ✓ | ✓ |
| e300 | ✓ | ✓ | ✓ | ✓ | ✗ |
| MPC7448 | ✓ | ✓ | ✓ | ✓ | ✓ |
| MPC7448s | ✓ | ✓ | ✓ | ✓ | ✗ |
| MPC755 | ✓ | ✓ | ✓ | ✓ | ✓ |
| MPC755s | ✓ | ✓ | ✓ | ✓ | ✗ |
| IBM PPC750 | ✓ | ✓ | ✓ | ✓ | ✗ |
| PPC (sonstige) | ✗ | ✓ | ✓ | ✓ | ✓ |
| RX | ✗ | ✓ | ✓ | ✓ | ✗ |
| SuperH | ✗ | ✓ | ✓ | ✓ | ✗ |
| TriCore inkl. AURIX | ✓ | ✓ | ✓ | ✓ | ✓ |
| V850 | ✓ | ✓ | ✓ | ✓ | ✗ |
| RH850 | ✗ | ✓ | ✓ | ✓ | ✗ |
| x86 (flat), AMD K6-2E+ | ✗ | ✓ | ✓ | ✓ | ✗ |
| x86 (rm) | ✗ | ✓ | ✓ | ✓ | ✗ |
Unterstützung für weitere Prozessoren ist in Arbeit. Alle Versionen laufen unter 64-Bit-Windows und 64-Bit-Linux. Bei Fragen nehmen Sie Kontakt mit uns auf.
Tool-Qualifizierung
Wir bieten Qualification-Support-Kits für aktuelle Sicherheitsstandards wie DO-178C und ISO 26262 an.
Jetzt testen
Sie können a³ kostenlos und unverbindlich an Ihren eigenen Anwendungen testen. Wenden Sie sich an info@absint.com oder rufen Sie uns an.