Path: EDN Asia >> News Centre >> Test & Measurement >> Car software firms team up for faster error detection
Test & Measurement Share print

Car software firms team up for faster error detection

17 Feb 2014  | Christoph Hammerschmidt

Share this page with your friends

AbsInt Angewandte Informatik GmbH and dSpace GmbH have entered a partnership in which the companies will cross-connect dSpace's TargetLink series code generator with AbsInt's StackAnalyzer and Astree analysis tools. The result of the team up will allow automotive software developers to speed up error detection, stack overflows and runtime errors resulting from incorrect mode specs.

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. Astree identifies potential runtime errors in C code such as division by zero, invalid pointer access and arithmetic overflow.




Want to more of this to be delivered to you for FREE?

Subscribe to EDN Asia alerts and receive the latest design ideas and product news in your inbox.

Got to make sure you're not a robot. Please enter the code displayed on the right.

Time to activate your subscription - it's easy!

We have sent an activate request to your registerd e-email. Simply click on the link to activate your subscription.

We're doing this to protect your privacy and ensure you successfully receive your e-mail alerts.


Add New Comment
Visitor (To avoid code verification, simply login or register with us. It is fast and free!)
*Verify code:
Tech Impact

Regional Roundup
Control this smart glass with the blink of an eye
K-Glass 2 detects users' eye movements to point the cursor to recognise computer icons or objects in the Internet, and uses winks for commands. The researchers call this interface the "i-Mouse."

GlobalFoundries extends grants to Singapore students
ARM, Tencent Games team up to improve mobile gaming


News | Products | Design Features | Regional Roundup | Tech Impact