User manual MATLAB POLYSPACE UML LINK RH 5

Lastmanuals offers a socially driven service of sharing, storing and searching manuals related to use of hardware and software : user guide, owner's manual, quick start guide, technical datasheets... DON'T FORGET : ALWAYS READ THE USER GUIDE BEFORE BUYING !!!

If this document matches the user guide, instructions manual or user manual, feature sets, schematics you are looking for, download it now. Lastmanuals provides you a fast and easy access to the user manual MATLAB POLYSPACE UML LINK RH 5. We hope that this MATLAB POLYSPACE UML LINK RH 5 user guide will be useful to you.

Lastmanuals help download the user guide MATLAB POLYSPACE UML LINK RH 5.


Mode d'emploi MATLAB POLYSPACE UML LINK RH 5
Download
Manual abstract: user guide MATLAB POLYSPACE UML LINK RH 5

Detailed instructions for use are in the User's Guide.

[. . . ] Other product or brand names may be trademarks or registered trademarks of their respective holders. Patents The MathWorks products are protected by one or more U. S. Please see www. mathworks. com/patents for more information. Revision History March 2009 Online Only September 2009 Online Only March 2010 Online Only Revised for Version 5. 3 (Release 2009a) Revised for Version 5. 4 (Release 2009b) Revised for Version 5. 5 (Release 2010a) Contents PolySpace UML Link RH User's Guide 1 About PolySpace UML Link RH Software . Integrating and Upgrading the PolySpace Add-In . Integrating the PolySpace Add-In with a Rhapsody Project . [. . . ] See "Running a Verification" on page 1-9. · If necessary, specify additional PolySpace configuration options in the PolySpace Launcher. See "Configuring Analysis Options" on page 1-8. See "Monitoring a Verification" on page 1-13. See "Viewing PolySpace Results" on page 1-14. 1-2 About PolySpace® UML LinkTM RH Software · Analyze errors and locate code within model. See"Locating Faulty Code in Rhapsody Model" on page 1-15. After you install the PolySpace UML Link RH add-in, you have access to PolySpace functionality from the Rhapsody editor. See "Accessing the PolySpace Panel" on page 1-3. Note In the following sections, PolySpaceInstallCommon refers to the installation location of the PolySpace common folder. Accessing the PolySpace Panel To open the PolySpace Panel in the Rhapsody editor: 1 In the Entire Model View, open the model that you want to verify. For example, airbag_CPP. rpy in PolySpaceInstallCommon/PolySpaceUMLLink/example. 2 Select files or packages, for example, AirBagFiles under Packages. From the context menu, select PolySpace Panel. 1-3 1 PolySpace® UML LinkTM RH User's Guide The PolySpace Panel has various button options that allow you to set up and perform PolySpace functions. Clicking Help opens the PDF help document. 1-4 Integrating and Upgrading the PolySpace Add-In Integrating and Upgrading the PolySpace Add-In In this section. . . "Overview" on page 1-5 "Integrating the PolySpace Add-In with a Rhapsody Project" on page 1-5 "Upgrading PolySpace Software" on page 1-6 Overview This section describes how you integrate the PolySpace UML Link RH add-in with a Rhapsody project. The PolySpace add-in is written using the Visual Basic® extension provided by Rhapsody. This add-in installs itself in new Rhapsody projects by using the copyVBA feature in the rhapsody. ini file. Note For Rhapsody versions until 7. 3, the environment variable %WINDIR% specifies the location of rhapsody. ini. With later versions, this file is located in the parent Rhapsody installation folder. For Rhapsody projects that already exist, you must copy the PolySpace Visual Basic add-in from <PolySpaceCommonInstall>\PolySpaceUMLLink\bin\polyspace. vba to the project folder. Then, rename the add-in project_name. vba, which replaces the existing VBA file. Integrating the PolySpace Add-In with a Rhapsody Project If you use Rhapsody Visual Basic, you carry out the integration as follows: 1 Using the Rhapsody Visual Basic editor, export each form and module for the existing code. 2 Close your model. 1-5 1 PolySpace® UML LinkTM RH User's Guide 3 Copy the PolySpace. vba file into the model folder and rename it project_name. vba. 4 Reopen the model, and use the Visual Basic editor to import each form and module that was exported in step 1. If you want, you can also update the master polyspace. vba file with the contents of project_name. vba for use in new projects. Upgrading PolySpace Software When you upgrade your PolySpace software, the VBA code in existing Rhapsody projects is not automatically updated. To update your PolySpace integration: 1 Open your Rhapsody model. 2 Select Tools > VBA > Macros. 3 In the Macros dialog box, select ImportCode. 4 Click Run. 1-6 Integrating and Upgrading the PolySpace Add-In 5 In the Select folder dialog box, select the folder containing the PolySpace UML Link RH code. [. . . ] If you want to perform the verification locally, clear this check box. 7 Click Execute. A command window opens, showing the phases of the verification that are performed locally. 1-11 1 PolySpace® UML LinkTM RH User's Guide Note You can change the settings (size of window, number of lines of history, font, and so on) for the command window. Right-click the window title and select Properties to open the Properties dialog box. The options available are similar to those available with the Windows® operating system Command Window. [. . . ]

DISCLAIMER TO DOWNLOAD THE USER GUIDE MATLAB POLYSPACE UML LINK RH 5

Lastmanuals offers a socially driven service of sharing, storing and searching manuals related to use of hardware and software : user guide, owner's manual, quick start guide, technical datasheets...
In any way can't Lastmanuals be held responsible if the document you are looking for is not available, incomplete, in a different language than yours, or if the model or language do not match the description. Lastmanuals, for instance, does not offer a translation service.

Click on "Download the user manual" at the end of this Contract if you accept its terms, the downloading of the manual MATLAB POLYSPACE UML LINK RH 5 will begin.

Search for a user manual

 

Copyright © 2015 - LastManuals - All Rights Reserved.
Designated trademarks and brands are the property of their respective owners.

flag