PolySpace UML Link RH 5.5

for IBM Rational Rhapsody

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 IBM^® Rational^® 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.