Polyspace UML Link RH (for IBM Rational Rhapsody)
Trace Polyspace results to IBM Rational Rhapsody models
Polyspace Client for C/C++ GUI showing a Rhapsody statechart of an airbag control system (left) and the Polyspace results of the C++ code generated from the Rhapsody model (right). Polyspace UML Link RH lets you right-click a colored diagnostic in the code to access the corresponding component in the Rhapsody model and correct model errors without modifying the C++ code.
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.
