PolySpace™ UML Link™ RH (for Telelogic® Rhapsody®) 5.1

Product Description

• Introduction and Key Features
• Working with PolySpace UML Link RH
• Typical Run-Time Errors Detected

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 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.

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 Telelogic Rhapsody environment

PolySpace Client for C/C++ GUI showing a Rhapsody statechart of an airbag control system and the PolySpace results of the C++ code generated from the Rhapsody model (inset). 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. Click on image to see enlarged view.