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

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.

Formularaufruf freigeben

An dieser Stelle ist ein Eingabeformular von Click Dimensions eingebunden. Dieses ermöglicht es uns Ihr Newsletter-Abonnement zu verarbeiten. Aktuell ist das Formular ausgeblendet aufgrund Ihrer Privatsphäre-Einstellung für unsere Website.

Externes Eingabeformular

Mit dem Aktivieren des Eingabeformulars erklären Sie sich damit einverstanden, dass personenbezogene Daten an Click Dimensions innerhalb der EU, in den USA, Kanada oder Australien übermittelt werden. Mehr dazu in unserer Datenschutzbestimmung.