Polyspace UML Link RH

for IBM Rational Rhapsody

Working with Polyspace UML Link RH

Polyspace UML Link RH 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 quickly navigate from the code to the relevant section of your Rhapsody model, facilitating design edits and debugging.