Skip to Main Content Skip to Search
Accelerating the pace of engineering and science

 

Polyspace UML Link RH
for IBM Rational Rhapsody

Product Description

Introduction

Polyspace UML Link RH extends Polyspace Client for C/C++ and Polyspace Server for C/C++ 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.

Polyspace UML Link RH launches from within Rhapsody when you select a class or a package. You can also start the code verification directly from your model using context-sensitive predefined settings.

Key Features

  • Uses advanced code-based verification techniques to automatically verify all program executions
  • Incorporates the entire range of parameter values specified in the model
  • Traces run-time errors back to the model
  • Launches from within the IBM Rational Rhapsody environment
PolySpace UML Link RH Content Img

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.

Contact sales
Free technical kit
Trial software

Get Pricing and
Licensing Options

Recorded Webinar

Eliminating Critical Software Errors in Embedded Code