StackAnalyzer bestimmt automatisch den maximalen Stackverbrauch von eingebetteten Anwendungen für jeden Programmpunkt. Das ermöglicht optimale Speicherdimensionierung und beugt kritischen Laufzeitfehlern vor.
Ergebnisse eines Qualifizierungslaufs
Register- und Speicherzelleninhalte
Tabellarische Übersicht des Stackverbrauchs
Kontrollflußgraph mit Analyseergebnissen
Aufgrufgraph mit Worst-Case-Pfad
Features
- Ausführliche und exakte Angaben zum Stackverbrauch von Tasks, Routinen, Basisblöcken und einzelnen Instruktionen.
- Frei wählbare Startpunkte für die Analyse.
- Rekonstruktion des Kontrollflusses unmittelbar aus dem ausführbaren Code – somit keine Verfälschung der Ergebnisse durch eventuelle Fehler in der Debug-Information.
- Anschauliche Darstellung der Analyseergebnisse in interaktiven Graphen, Tabellen und Charts.
- XML-Berichte zur Dokumentation und Zertifizierung.
- Batchmode zur einfachen Integration in Ihre Entwicklungsumgebung. Kostenlose Plugins für Jenkins und TargetLink.
- Nahtlose Integration mit anderen Analysetools von AbsInt, z. B. TimingProfiler und ValueAnalyzer.
Wer setzt StackAnalyzer ein?
Airbus France – zur Analyse der primären Flugsteuerungssoftware mehrerer Flugzeugtypen, darunter des A380.
Daimler – bei verschiedenen Projekten wie z. B. der Entwicklung der Powertrain-Software der Actros-Trucks.
Honda – zur Analyse der FADEC-Software von Mantelstromtriebwerken.
Vestas – um Stacküberläufe in der Software für ihre Windkraftanlagen auszuschließen.
Framatome – zur Verifikation ihrer sicherheitskritischen Plattform für Kernreaktoren.
OHB – in der Entwicklung der Software für Navigations- und Kommunikationssatelliten.
u-blox – um die Verläßlichkeit ihrer Controllingsoftware zu erhöhen und Stacküberläufe zu vermeiden.
MTU Friedrichshafen – um die Korrektheit der Kontrollsoftware von Notstromaggregaten in Kraftwerken zu beweisen.
Warum brauchen Sie StackAnalyzer?
Der Bedarf an freien Stackzellen muß vom Entwickler im voraus festgelegt werden. Wird der Bedarf unterschätzt, führt das zu gravierenden Laufzeitfehlern wegen Stacküberlaufs. Die genaue Fehlerquelle ist dann oft schwer zu finden. Überschätzt man hingegen den Stackbedarf, um „auf der sicheren Seite“ zu sein, so verschwendet man kostbaren Speicher.
- StackAnalyzer berechnet den Stackbedarf automatisch und exakt.
- Damit reduzieren Sie den Entwicklungsaufwand und vermeiden kritische Laufzeitfehler.
- Das Tool analysiert unmittelbar die Binärdateien, die im fertigen System ausgeführt werden. Es ist auf keine Debug-Informationen angewiesen.
- Sie können StackAnalyzer entwicklungsbegleitend einsetzen, um vorgenommene Änderungen sofort zu überprüfen und Optimierungsmöglichkeiten zu entdecken.
- Der Einsatz von StackAnalyzer wird von allen aktuellen Sicherheitsstandards wie ISO 26262, DO-178B/C, IEC-61508 und EN-50128 dringend empfohlen bis ausdrücklich verlangt.
Unterstützte Architekturen
StackAnalyzer ist für eine Vielzahl von Prozessoren und Compilern verfügbar.
Nahtlose Integration
StackAnalyzer bietet Schnittstellen zu vielen Softwareentwicklungswerkzeugen, darunter:
- SCADE Suite von ANSYS
- SymTA/S von Symtavision/Luxoft
- TargetLink von dSPACE
- Jenkins (Open Source)
- RT-Druid von Evidence
Darüberhinaus kann StackAnalyzer mit anderen Analyse-Tools von AbsInt (z. B. aiT zur Timing-Analyse) in derselben Benutzeroberfläche kombiniert werden.
„Sucht man nach Software zur automatischen Stackanalyse für eingebettete Systeme, so scheint StackAnalyzer die meistversprechende (wenn nicht gar die einzige) Wahl zu sein.“
Unabhängige Prüfung durch die Universität Erlangen
Tool-Qualifizierung
Ihr Einsatz von StackAnalyzer kann nach ISO 26262, DO-178B/C und anderen Sicherheitsstandards qualifiziert werden. Wir bieten spezielle Qualification-Support-Kits an, die die Qualifizierung vereinfachen und automatisieren. Vor allem in den Bereichen Automotive und Luftfahrt werden diese Kits gerne von unseren Kunden eingesetzt.
Darüberhinaus ist StackAnalyzer auch als ein fester Bestandteil der SCADE-Entwicklungsumgebung verfügbar, die nach DO-178B und DO-178C qualifiziert und nach IEC 61508 und EN 50128 zertifiziert ist. Innerhalb der SCADE-Suite finden Sie das Tool unter dem Namen „Timing and Stack Optimizer“.
Jetzt testen
Testen Sie StackAnalyzer kostenlos an Ihren eigenen Anwendungen.
.jpg){kind=link}