How to save variables from Uppaal created during the modeling process

Question

I've created a model with Uppaal in which several integer variables change over the course of time. Now I would like to save the values of the variables during the modelling process somewhere (best in xml or a text file). In the Uppaal documentation (https://www.it.uu.se/research/group/darts/uppaal/documentation.shtml) I found the method in point 13 (How do I export and interpret the traces from Uppaal?) and tried the Java API way already, in the hope that it can output the variables as well as the traces. Unfortunately this method seems to be limited to traces. Does anyone know a method to save the variable values from Uppaal?

Hopeful greetings,

Josi

Answer 1

Solution from the comments.

to export the variable value tractory over time, one may use SMC query in the verifier.

For example:

1. Typeset the following query: simulate 1 [<=300] { Gate.len }
2. Click Check
3. Right-click on the query, and from the popup menu choose Simulations (1)
4. Observe a new window popup with a plot
5. Right-click on the plot and choose Export Comma Separated Values
6. Follow the save file dialog and observe the resulting file to contain time and value sequence.

Note that SMC assumes that all channels are broadcast and there are no deadlocks.