PolySpace™ Model Link™ SL (for Simulink®) 5.1

Product Description

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

Working with PolySpace Model Link SL

PolySpace Model Link SL integrates with PolySpace Client for C/C++ and PolySpace Server for C/C++ (both available separately) to support development projects using Model-Based Design with Simulink. 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, a model reference block, an S-function, or any reusable component of your system. You can quickly navigate from the code to the relevant section of your Simulink model, facilitating design edits and debugging.

Next