Integrating Astrée into your development process

dSPACE logo

Astrée offers tight integration with TargetLink, the production-code generation tool from dSPACE.

TargetLink automatically generates production code for graphically specified functions straight from MathWorks MATLAB/Simulink/Stateflow. This drastically shortens coding and develop­ment time and contributes to a consider­able improvement in the quality of the pro­duction code.


Chart depicting the automated flow between TargetLink and Astrée

The automated flow between TargetLink and Astrée provides for a seamless integration into the de­velopment cycle.

AbsInt and dSPACE cooperated on the integration in the TIMMO-2-USE project that addressed the specification, transition and exchange of relevant timing information through­out different steps of the AUTOSAR-based development process and tool chain.

Your benefits

  • For each TargetLink function, alarms about possible runtime errors can now be viewed directly in TargetLink.
  • This enables you to detect errors and bugs early in the development process, avoiding late-stage integration problems.
  • The static analysis does not require the system under test to be executed on a hardware proto­type. Results are available quickly, no dedicated hardware is needed.
  • The analyzer provides full data coverage and control. This enables the absence of runtime errors to be proven.
  • The analyses can be invoked automatically from the TargetLink GUI. This makes it easy to run an analysis after each model change, if desired.
  • Navigating from the source code to the corresponding model component can be done with a single mouse click, en­abling direct error tracing between implementation and model level.
  • Relevant model-level information is automatically propagated to the ana­lyzer to enable tighter analysis results and avoid double inputs.

Free trial

Astrée offers TargetLink integration straight out of the box. No addi­tional packages need to be installed. You can evaluate the tool for free for a period of 30 days.

AbsInt Tech DayTech Day
Static analysis as a verification method for safe autonomous driving”

15 March 2018
Santa Clara, California

Hosted by our NA distributor Joral Technologies.
Free seminar, tool demos, and lunch. 20 seats only. Sign up now.