Improved model-based code quality to result from dSPACE/AbsInt cooperation

February 14, 2014 // By Graham Prophet
dSpace has announced that it is co-operating with AbsInt Angewandte Informatik GmbH, which becomes a member of its TargetLink Partner Program. The two companies are working together to couple AbsInt analysis tools − aiT, StackAnalyzer and Astrée − with the dSPACE TargetLink production code generator.

Timing errors, stack overflows and run-time errors due to erroneous model specifications can now be analysed 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 efficient C code directly from Simulink/Stateflow models. It supports efficient, modular development and is ISO 26262- and IEC 61508-certified. It supports standards such as AUTOSAR, ASAM MCD-2 MC (ASAP2), MISRA and OSEK.

AbsInt 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.

dSPACE provides hardware and software tools for developing and testing control systems, with products such as the MicroAutoBox rapid prototyping systems, hardware-in-the-loop (HIL) simulators, and the automatic production code generator TargetLink for automotive electronics and in aerospace, medical engineering, industrial automation, electric drives technology and other industries; www.dspace.com