Polyspace Model Link TL

for dSPACE TargetLink

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.