PolySpace™ Model Link™ TL (for dSPACE® TargetLink®) 5.1

Product Description

• Introduction and Key Features
• Working with PolySpace Model Link TL
• Typical Run-Time Errors Detected

Working with PolySpace Model Link TL

PolySpace Model Link TL integrates with PolySpace Client for C/C++ and PolySpace Server for C/C++ (both available separately) to support the model development workflow. You can:

• Fix implementation errors caused by latent design deficiencies
• Independently verify generated code
• Determine how robust the code is on a particular target
• Correct errors during implementation, before deployment and testing

You can verify a subsystem or any reusable component of your system. You can quickly navigate from the code to the relevant section of your TargetLink model, facilitating design edits and debugging.

Next