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.