如何分析 UPPAAL 模拟器 eps 文件中的数据？答案

【问题标题】：How can I analyse the data from UPPAAL simulator eps file?如何分析 UPPAAL 模拟器 eps 文件中的数据？
【发布时间】：2016-06-16 07:33:15
【问题描述】：

我运行了自动机并导出了 eps 文件。但是如何进一步分析并从 eps 文件中获取信息？是否可以将变量值写入外部日志文件？提前致谢

【问题讨论】：

1) 右键单击绘图时有“导出 -> 逗号分隔值”菜单选项，2) 轨迹打印在 verifyta（命令行工具）的标准输出上。跨度>

标签： analysis eps uppaal

【解决方案1】：

分析 eps 没有意义（这些应该包含在报告中）。对于数据分析，使用 simulate (Uppaal 4.1) 查询在验证器中尝试以下操作：

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
}

其中T(i) 是一个进程，Ready、Computing、Release 和Error 是它的位置。然后对查询进行模型检查，右键单击它并查看绘图，然后：

a) 右键单击绘图并选择Export -> comma separated values，

或：

b) 在验证上述查询时，从 verifyta（命令行工具）的标准输出中解析绘图值。

【讨论】：

是的。谢谢你。我可以试试这个。 UPPAAL 中是否有办法在自动机运行时写入日志或将变量值更新到外部文件？
不，有一个 API：people.cs.aau.dk/~marius/modeldoc
谢谢。我还在研究将 matlab 与 uppaal 连接起来。
@user3559706 我对 Matlab/Simulink 有几个部分解决方案：一个 SFunction 另一个 FMI，请在 8 月联系合作（现在正在休假）