Astrée unterstützt eine enge Integration mit TargetLink, dem Seriencode-Generator von dSPACE.
TargetLink erzeugt automatisch Seriencode für grafisch spezifizierte Modelle direkt aus MathWorks’ MATLAB/Simulink/Stateflow. Dadurch werden Codierungs- und Entwicklungszeiten drastisch reduziert und die Qualität des Seriencodes deutlich verbessert.
TargetLink ist zertifiziert nach Standards für funktionale Sicherheit wie ISO 26262, ISO 25119 und IEC 61508.
Workflow
Der automatisierte Austausch zwischen TargetLink und Astrée ermöglicht eine nahtlose Integration in Ihre Entwicklungsumgebung.
Die Integration wurde von AbsInt und dSPACE gemeinsam im Rahmen des TIMMO-2-USE-Projektes vorgenommen. Das Projekt erstrebte eine deutliche Verbesserung des Automatisierungsgrades zur Ermöglichung vorhersagbarerer Entwicklungszyklen. Es beschäftigte sich insbesondere mit der Spezifikation, der Transformation und dem Austausch relevanter Timing-Informationen über verschiedene Schritte von AUTOSAR-basierten Entwicklungsprozessen und Toolketten hinweg.
Ihre Vorteile
Für jede TargetLink-Rootfunktion können Alarme über mögliche Laufzeitfehler unmittelbar in TargetLink eingesehen werden.
Damit können Sie Fehler und Bugs bereits in einem frühen Entwicklungsstadium erkennen und spätere Integrationsprobleme vermeiden.
Dank der statischen Analyse benötigen Sie keinen Hardwareprototypen, auf dem Sie das System erst laufen lassen. Die Ergebnisse sind schnell verfügbar, keine Hardware ist vonnöten.
Die Analysen können in der TargetLink-GUI automatisiert werden. Sie können z. B. nach jeder Modelländerung eine Analyse laufen lassen.
Mit einem einzigen Klick gelangen Sie vom Quellcode ins Modell. Damit wird ein unmittelbarer Zusammenhang zwischen der Implementierungs- und der Modellebene hergestellt, der die Fehlerauswertung erleichtert.
Relevante Informationen von der Modellebene werden automatisch an die Analysatoren weitergereicht, um die Ergebnisse zu präzisieren und doppelte Eingaben zu vermeiden.
Neueste Verbesserungen
- 24.04 – Unterstützung für TargetLink 23.1
- 23.04 – Unterstützung für TargetLink 2022-B
- 22.10 – Verbesserte Interpolation-Domain
- 22.04 – Unterstützung für TargetLink 5.2
- 21.10 – Unterstützung für TargetLink 5.0 und 5.1
Jetzt testen
Die TargetLink-Integration wird von Astrée unmittelbar ermöglicht. Es muß keine Zusatzsoftware installiert werden. Sie können Astrée 30 Tage lang kostenlos und unverbindlich an Ihren eigenen Anwendungen testen.
