3

I am currently studying about formal verification and i have to use uppaal which is i am new. But if i run uppaal i got an error

java.io.IOException: Server Connection lost

is there any way to fix it? I am using ubuntu 16.04 and openjdk8

I am looked on the following post

UPPAAL error - java.io.IOException: Server Connection Lost

but i still unable to figure out the solution

Any help would be appreciated in this regard!

Community
  • 1
  • 1
Oktavia Suzanti
  • 31
  • 1
  • 2
  • That message is a symptom of an engine server crash. Which version are you using? what exactly are you doing? perhaps something special with your model? Oracle JDK is recommended over OpenJDK, but it is not an issue here. – mariusm Oct 24 '16 at 06:25

2 Answers2

2

Check if you are using UPPAAL version (i.e. 32bits, 64bits) that match your operating system.

I got this error and the problem was a mismatch between UPPAAL and OS architecture.

alshaboti
  • 643
  • 8
  • 18
0

I had the same problem and solved it by installing a 32bit Virtualbox VM (Ubuntu 16.04.1, 32bit) and Java 6 from Oracle, see here.

Inside the virtual machine, UPPAAL 4.0.14 works and the server does not crash.

mikulcak
  • 21
  • 3