Faster to error-free series code

February 13, 2014 // By Christoph Hammerschmidt
Automotive software developers will be able to faster detect timing errors, stack overflows and runtime errors resulting from incorrect mode specs an early development state. This results from a collaboration agreement between tool vendors dSpace GmbH and AbsInt Angewandte Informatik GmbH.

Under the collaboration, the companies will cross-connect dSpace's TargetLink series code generator with AbsInt's StackAnalyzer and Astrée analysis tools. The analysis configuration is done widely automatically which enables more precise analysis results.

The connection of the tools combines model-based software development with the verification of non-functional requirements at implementation level. It enables a consistent development process from model design to code generation and certification and thus reduces development time and at the same time it improves the software quality.

TargetLink generates C code out of Simulink / Stateflow models. The AbsInt tools enable analysis, optimization and verification of embedded systems and safety-critical software code, in particular with respect to timing; they also can be used to rule out stack overflows. Astrée identifies potential runtime errors in C code such as division by zero, invalid pointer access and arithmetic overflow.

Related articles:

Software tool evaluates safety-critical program code

Faster from Simulink to C code