User manual THE MATHWORKS POLYSPACE UML LINK RH 5

[. . . ] Other product or brand names may be trademarks or registered trademarks of their respective holders. Patents MathWorks products are protected by one or more U. S. Please see www. mathworks. com/patents for more information. Revision History March 2009 September 2009 March 2010 September 2010 Online Online Online Online Only Only Only Only Revised for Revised for Revised for Revised for Version 5. 3 (Release 2009a) Version 5. 4 (Release 2009b) Version 5. 5 (Release 2010a) Version 5. 6 (Release 2010b) 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 Verification 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. [. . . ] 6 If you want to send your verification to the Polyspace Server, select the Remote Mode check box. 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. [. . . ]