如何保存在建模过程中创建的Uppaal中的变量

Question

我用Uppaal创建了一个模型，其中几个整数变量随时间变化。现在，我想在建模过程中将变量的值保存在某个地方(最好是xml或文本文件(。在Uppaal文档中(https://www.it.uu.se/research/group/darts/uppaal/documentation.shtml)我在第13点找到了方法(如何从Uppaal导出和解释跟踪？(，并已经尝试了Java API方式，希望它可以输出变量和跟踪。不幸的是，这种方法似乎仅限于跟踪。有人知道保存Uppaal变量值的方法吗？

希望的问候，

Josi

Answer 1

注释中的解决方案。

要导出随时间变化的变量值，可以在验证器中使用SMC查询。

例如：

1. 键入以下查询：simulate 1 [<=300] { Gate.len }
2. 单击Check
3. 右键单击查询，然后从弹出菜单中选择Simulations (1)
4. 观察带有绘图的新窗口弹出
5. 右键单击绘图并选择ExportComma Separated Values
6. 按照save file对话框操作，观察生成的文件以包含时间和值序列

请注意，SMC假设所有频道都是广播的，并且不存在死锁。