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/
Treiben Sie Innovationen voran. Immer am Puls der Technologieentwicklung.
Abonnieren Sie unser Expertenwissen. Lernen Sie von erfolgreichen Projektbeispielen. Bleiben Sie auf dem neuesten Stand der Simulation und Validierung. Jetzt dSPACE direct und dSPACE direct aeropace & defense abonnieren.