Polyspace 2012a - compatibility windows 7 and Java libraries missing

Hello,

I have 2 questions regarding this version of Polyspace.

One, is regarding the verification status. I send a verification to the server, and it is send ok, dose the verification, reaches the end, but when to generate the results, it says failed and displays this error:

Error: Unable to find the Java libraries pve.jar and util.jar.

If I log on to the server queue I see the verification that was sent by me, and can manually download the results, and see them, but the status in my project manager of the verification is failed. Is this a problem of my machine, dose this libraries are missing from my computer of from the installation?

The other one, is regarding the compatibility with windows 7. Dose this version of Polyspace compatible with it, and if the impact of changing the operating system on my client will take effect on the servers configurations?

Thank you!

Answer 1

[Alexandre De Barros]

Hi !

For the first question, can you tell me where do you see the message "Error: Unable to find the Java libraries pve.jar and util.jar." ? And are you downloading the results from the spooler?

For the second question, yes, Polyspace 12a is compatible with Windows 7. There is no impact on the server if you change the OS of the client. The verification process is independant of the OS that you're using: you can have Linux or Windows clients, and Windows or Linux servers, no problem !

[Simileac Andrei]

Hi Alex,

When I click on the result that finished the verification, in the Output Summary tab, the last 3 info's are:

first: "Warning: No display specified. You will not be able to display graphics on the screen."

second: "Error: Unable to find the Java libraries pve.jar and util.jar."

and last: "Warning: report-generator did not create any file."

The status of the verification is failed, and yes, to actually see the results I need to go on the Queue Manager and download the results manually so that I can see the results.

Hope this information is more accurate.

[Alexandre De Barros]

Are you using some kind of "remote connection" to your client? Generally speaking, could you tell me how you're using the Client?

Answer 2

[Sachin Ganjare]

For Problem No.1:

Refer link below, if you have not already gone through it:

http://www.mathworks.in/support/solutions/en/data/1-9VQS9L/index.html?product=ML&solution=1-9VQS9L

Hope it helps!!!

[Sachin Ganjare]

For Probelm No.2;

Refer link below:

http://www.mathworks.in/support/solutions/en/data/1-EGEGVY/index.html?solution=1-EGEGVY

Hope it helps!!!

Answer 3

[Benoit]

Hello,

I had the same error. In my case it was due to polyspaced started as root on the server instead of the dedicated user account used to install PolySpace.

So starting the PolySpace as the dedicated 'polyspace' user with '/etc/init.d/polyspaced start' was the solution.

Configuration:

 * PolySpace 2012b
 * Server running on debian amd64
 * Client running on windows XP SP3

Benoît.