0

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

4

1 回答 1

0

分析 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
}

whereT(i)是一个过程Ready，Computing,Release和Error是它的位置。然后模型检查查询，右键单击它并查看绘图，然后：

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

或者：

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

于 2016-06-17T07:51:57.880 回答