Skip to Main Content Skip to Search
Home |   Select Country  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Industries Academia Support User Community Company
spacer spacer spacer spacer spacer spacer

 

PolySpace UML Link RH 5.4
for Telelogic Rhapsody

Trace PolySpace results to Telelogic Rhapsody models


PolySpace UML Link RH Main Image

PolySpace® UML Link™ RH software extends PolySpace® Client™ for C/C++ and PolySpace® Server™ for C/C++ products with tools that let you trace PolySpace® results from generated C++ code directly to your Telelogic® Rhapsody® models. As a result, you can identify which parts of the model are reliable, and correct design problems that will cause run-time errors in the code. You can verify a mix of generated and hand-written code before it is compiled.


Adobe Acrobat Required  View data sheet (350k)



Contact sales
Free technical kit
Trial software
E-mail this page

Get Pricing and
Licensing Options

Recorded Webinar

Verify Critical Ada, C and C++ Embedded Code new

IRSN

"PolySpace belongs to a new generation of analysis tools. It represents a large step forward for the verification of safety-related software."