MATLAB: Does the PolySpace job fail when passed to a Remote Launcher

Polyspace Client for AdaPolyspace Client for C/C++Polyspace Code ProverPolyspace Code Prover ServerPolyspace Model Link SLPolyspace Model Link TLPolyspace Server for AdaPolyspace UML Link RH

When submitting my code for verification to a PolySpace server, the job fails to submit properly. How can I resolve this so that I can submit the job?

Best Answer

To begin first verify that the PolySpace server is configured and running properly. To do so:

For Windows:

1. Launch the Remote Launcher Manager tool from the Start menu or by running:

C:\PolySpace\PolySpace_Common\RemoteLauncher\PSTRLManager.exe

2. Check that the configuration is correct

3. Confirm that the log file shows that the service is started by clicking "View Log"

4. If there are any errors or if you are unsure that the service started, click the "Start Daemon" button to restart the service.

For Solaris/Linux:

1. Verify that there is a polyspaced process running

2. Check the log file: /var/PolySpace/polyspaced.log to see that Remote Launcher is started and that there are no errors.

3. If there are any issues, try resetting the Remote Launcher by running the script:

/usr/local/PolySpace/PolySpace_Common/RemoteLauncher/bin/setup-remote-launcher

4. Once reconfigured you can run the same script with the -start-service flag to restart the service:

/usr/local/PolySpace/PolySpace_Common/RemoteLauncher/bin/setup-remote-launcher -start-service

Once you have determined that the service is up and running on the PolySpace Server, check to make sure that the client is configured to point to the correct port on the PolySpace Server. To do so:

1. Open the client Launcher

2. Go to the Options menu to Preferences (R2010a or prior: Edit menu to Preferences)

3. Go to the Remote Launcher tab

4. Choose the option to "Use the following server and port" and enter in the PolySpace Server hostname and port number

5. Press OK to set the PolySpace server

Once set, try running the job once more. If the job still fails, contact the Installation and Licensing Team here:

http://www.mathworks.com/support/contact_us/index.html

Related Solutions

MATLAB: Is it possible to launch the Remote Launcher for PolySpace without storing a password for the user account

It is possible to access the PolySpace Server through the Remote Launcher without requiring a username and password. To do this, you can launch the remote launcher as an application rather than a service. To setup this configuration, follow the steps below:

1) First disable the PolySpace service. To do so, go to the Windows Start menu to Run and type in "services.msc".

2) Locate "PolySpace Server" in the list. Right click on PolySpace Server and select Properties.

3) If the service is running, click Stop to stop the service. Once it has been stopped, change the startup type option to "Disabled".

4) Once the service is disabled, make sure that the polyspace.conf file is setup correctly. To do so, open the file: C:\PolySpace\RemoteLauncher\polyspace.conf. This file should have the following information:

For PolySpace for ADA:

# Local configuration.
product=C:\PolySpace\PolySpaceForADA_R2008a
lang=ADA
lang=ADA95
#
# Remote Launcher configuration.
datadir=C:\PolySpace\PolySpace_RLDatas
username=<your username>
cpu=<your machine name>

For PolySpace for C/C++:

# Local configuration.
#
product=C:\PolySpace\PolySpaceForCandCPP_R2008a
lang=C
lang=CPP
# Remote Launcher configuration.
#
datadir=C:\PolySpace\PolySpace_RLDatas
username=<your username>
cpu=<your machine name>

This information should already be stored in the file, but if not, update it appropriately.

5) To start the Remote Launcher as an application, simply launch the following executable:

C:\PolySpace\PolySpace_Common\RemoteLauncher\wbin\polyspaced.exe

This will launch the Remote Launhcer as an application. If you would like this to start automatically at boot time, you can create a shortcut to that file and place it in your Windows startup folder: C:\Documents and Settings\<your username>\Start Menu\Programs\Startup. Once the shortcut is there, the Remote Launcher will start when you log in.

MATLAB: Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover

Code verification for Ada requires the Polyspace Client for Ada, which is a separate product from PolySpace Bug Finder and PolySpace Code Prover.

To purchase the PolySpace Client for Ada, please reach out to your company's MathWorks sales representative, or contact the MathWorks sales department.

Best Answer

Related Solutions

MATLAB: Is it possible to launch the Remote Launcher for PolySpace without storing a password for the user account

MATLAB: Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover

Related Question