AbsInt Angewandte Informatik GmbH
AbsInt ist dSPACE Product Partner für die Analyse von Laufzeitfehlern, Stack-Überläufen und Timing-Fehlern.
AbsInt entwickelt Werkzeuge zum Validieren, Verifizieren und Zertifizieren von sicherheitskritischer eingebetteter Software. Die statischen Analyse-Werkzeuge berechnen auf Basis der Abstrakten Interpretation garantiert zuverlässige Ergebnisse, die für jede Programmausführung und jedes mögliche Eingabeszenario gelten. In Kooperation mit dSPACE wurde eine Tool-Integration der AbsInt-Werkzeuge Astrée (Laufzeitfehleranalyse), StackAnalyzer (Stack-Analyse) und aiT WCET Analyzer (Worst-Case-Execution-Time-Analyse) für TargetLink entwickelt: Laufzeitfehler, Stack-Überläufe und Timing-Fehler können somit direkt aus dem TargetLink-Modell heraus erkannt, die Analyse-Ergebnisse erheblich verbessert sowie Fehlalarme weitgehend vermieden werden. Für die AbsInt-Werkzeuge sind Qualification Support Kits verfügbar, die eine Tool-Qualifizierung nach aktuellen Sicherheitsstandards ermöglichen.
| Ergänzende Produkte aus dem Partnerprogramm | Kurzbeschreibung | Zugehöriges dSPACE Produkt |
|---|---|---|
| Astrée | Laufzeitfehleranalyse | TargetLink |
| aiT WCET Analyzer | Timing-Analyse | TargetLink |
| StackAnalyzer | Stack-Bedarfsanalyse | TargetLink |
| TimingProfiler | Timing-Analyse | TargetLink |
Website: http://www.absint.com/