Integration von Astrée in Ihre Entwicklungsumgebung

dSPACE-Logo

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 Math­Works’ MATLAB/Simulink/Stateflow. Dadurch werden Codierungs- und Entwicklungszeiten dras­tisch reduziert und die Qualität des Seriencodes deutlich verbessert.

Workflow

Der automatisierte Austausch zwischen TargetLink und Astrée

Der automatisierte Austausch zwischen TargetLink und Astrée ermöglicht eine nahtlose Integra­tion 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 Auto­mati­sierungs­grades zur Ermögli­chung vorher­sagbarerer Entwicklungs­zyklen. Es beschäftigte sich insbeson­dere mit der Spezi­fikation, der Trans­forma­tion und dem Austausch relevanter Timing-Informationen über verschiedene Schritte von AUTOSAR-basierten Entwicklungs­prozessen und Tool­ketten hinweg.

Ihre Vorteile

  • Für jede TargetLink-Rootfunktion können Alarme über mögliche Laufzeitfehler unmittelbar in TargetLink einge­sehen werden.

  • Damit können Sie Fehler und Bugs bereits in einem frühen Entwicklungs­stadium erkennen und spätere Inte­gra­tionsprobleme vermeiden.

  • Dank der statischen Analyse benötigen Sie keinen Hardwareprototypen, auf dem Sie das Sys­tem 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 weiter­gereicht, um die Ergebnisse zu präzisieren und doppelte Eingaben zu vermeiden.

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.

Joral-Technologies-LogoTech-Day
Statische Programmanalyse für sicheres autonomes Fahren”

15. März 2018
Santa Clara, Kalifornien

Veranstaltet von unserem nordamerikanischen Distributor Joral Technologies.
Kostenloses Seminar und Mittagessen. Nur 20 Plätze insgesamt, registrieren Sie sich jetzt.