Saarbrücken, 12. Februar 2014. AbsInt ist neuer Kooperationspartner der dSPACE GmbH und Mitglied im TargetLink-Partnerprogramm. Ziel der Zusammenarbeit ist die Toolkopplung der AbsInt-Analysetools aiT, StackAnalyzer und Astrée mit dem Seriencode-Generator dSPACE TargetLink. Dadurch können Timing-Fehler, Stacküberläufe und Laufzeitfehler, die auf fehlerhaften Modellspezifikationen basieren, direkt aus dem TargetLink-Modell heraus analysiert und somit bereits in frühen Entwicklungsphasen sicher erkannt werden. Die Analysekonfiguration erfolgt weitgehend automatisch, was zu präziseren Analyseergebnissen führt.
Die Toolkopplung kombiniert die modellbasierte Software-Entwicklung mit der Verifikation nicht-funktionaler Anforderungen auf Implementierungsebene. Sie ermöglicht eine durchgängige Entwicklung vom Modellentwurf über die Codeerzeugung bis hin zur Zertifizierung und reduziert so die Entwicklungszeiten bei gleichzeitiger Erhöhung der Softwarequalität.
TargetLink, der Seriencode-Generator von dSPACE, erzeugt hocheffizienten C-Code direkt aus Simulink/Stateflow-Modellen. Er unterstützt effizientes, modulares Entwickeln und ist ISO-26262- und IEC-61508-zertifiziert. Seit der Markteinführung 1999 wird TargetLink in unzähligen Serienprojekten weltweit erfolgreich eingesetzt. TargetLink zeichnet sich insbesondere durch seinen automotiven Fokus, hohe Zuverlässigkeit, Prozessintegrierbarkeit sowie die Unterstützung von Standards wie AUTOSAR, ASAM MCD-2 MC (ASAP2), MISRA und OSEK aus.
AbsInt bietet Software zur Analyse, Optimierung und Verifikation von eingebetteten Systemen und sicherheitskritischen Softwareprogrammen an, darunter die Werkzeuge aiT, StackAnalyzer und Astrée. aiT WCET Analyzer liefert garantierte obere Schranken der maximalen Ausführungszeit von Tasks unter präziser Berücksichtigung der Prozessorarchitektur. StackAnalyzer berechnet garantierte obere Schranken für den maximalen Stackverbrauch von Tasks und ermöglicht es, Stacküberläufe auszuschließen. Astrée findet alle potentiellen Laufzeitfehler in sicherheitskritischen C-Programmen (Division durch 0, ungültige Zeigerzugriffe, arithmetische Überläufe usw.) und ermöglicht den Nachweis der Abwesenheit von Laufzeitfehlern.
Bärbel Faust
(+49 681) 383 60 14
faust@absint.com