Cooperation between dSPACE and AbsInt

Saarbrücken, February 12th, 2014.
AbsInt Angewandte Informatik GmbH is now a cooperation partner
for dSPACE GmbH and a member of the TargetLink Partner Program.
The two companies are working together to couple AbsInt analysis
tools — aiT, StackAnalyzer and Astrée —
with the production code generator dSPACE TargetLink. Timing errors,
stack overflows and run-time errors due to erroneous model specifications
can now be analyzed directly from within the TargetLink model and detected
reliably in early development phases. Analyses can be configured largely
to be automatic to provide more precise results.

The tool coupling combines model-based software development
with the verification of non­functional requirements at the implementation level.
It will provide seamlessly integrated development from model design,
to production code generation, to certification, thereby reducing
development time while also enhancing software quality.

Further information

About TargetLink

TargetLink,
dSPACE’s production code generator, generates highly efficient C code
directly from Simulink/Stateflow models. It supports efficient, modular development
and is ISO 26262- and IEC 61508-certified. Since its launch in 1999, TargetLink
has been used in countless production projects all over the world. TargetLink’s
outstanding qualities include its success in safety-critical applications across
industries, high reliability, development process integration, and support
of standards such as AUTOSAR, ASAM MCD-2 MC (ASAP2), MISRA and OSEK.