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 nonfunctional 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.
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.
For further information, visit www.dspace.com.
AbsInt’s software tools such as aiT, StackAnalyzer and Astrée analyze, optimize and verify embedded systems and safety-critical software programs. aiT WCET Analyzer provides guaranteed upper bounds for the worst-case execution time of tasks, taking into account the precise processor architecture. StackAnalyzer computes guaranteed upper bounds for the maximum stack consumption of tasks and proves the absence of stack overflow. Astrée finds all the potential run-time errors in safety-critical C programs (division by 0, invalid pointer access, arithmetic overflow, etc.) and can prove the absence of run-time errors.
For further information, visit www.absint.com.
Bärbel Faust, AbsInt
Phone: (+49 681) 383 60 14