0

I ran the automaton and exported the eps file. But how do I further analyse and get information from eps file? Is it possible to write variable values to an external log file? Thanks in advance

user3559706
  • 1
  • 2
  • 1) there is "export -> comma separated values" menu option when you right-click on the plot, 2) the trajectories are printed on standard output from verifyta (command line tool). – mariusm Jun 17 '16 at 07:50

1 Answers1

0

There is no point analysing eps (these are meant to be included into report). For data analysis try the following in the verifier using simulate (Uppaal 4.1) queries like this:

simulate 1 [<=300] { 
  (T(1).Ready+2*T(1).Computing+3*T(1).Release+4*T(1).Error)+8,
  (T(2).Ready+2*T(2).Computing+3*T(2).Release+4*T(2).Error)+4,
  (T(3).Ready+2*T(3).Computing+3*T(3).Release+4*T(3).Error)+0
}

where T(i) is a process and Ready, Computing, Release and Error are its locations. Then model-check the query, right-click on it and see the plot, then:

a) right-click on the plot and choose Export -> comma separated values,

or:

b) parse the plot values from standard output from verifyta (command line tool) when verifying the query above.

mariusm
  • 1,483
  • 1
  • 11
  • 26
  • Yes. Thank you. I can try this. Is there a way in UPPAAL to write a log or update a variable value to an external file as the automaton runs? – user3559706 Jun 21 '16 at 07:29
  • no, there is an API for that: http://people.cs.aau.dk/~marius/modeldoc/ – mariusm Jun 22 '16 at 21:41
  • Thank you. I am also looking at interfacing matlab with uppaal for my research. – user3559706 Jul 01 '16 at 06:53
  • @user3559706 I have several partial-solutions to Matlab/Simulink: one SFunction another FMI, please contact for collaboration in August (going on vacations now) – mariusm Jul 01 '16 at 07:57