《表1 参数设置及最坏时延结果》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《SpaceWire网络层分析的时间自动机模型》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

UPPAAL在运行176s，并使121 476 kB/238 526kB的最高驻存/虚拟内存后，确认Property1被满足，运行13s，并使用1 146kB/2 761kB的最高驻存/虚拟内存后，确认Property2被满足.性质3用于最坏时延结果在表1中.