迪安娜

DYANA:基于HLA的分布式实时嵌入式系统仿真工具。本文介绍了一种基于HLA的半实物仿真工具DYANA。该工具用于分布式实时嵌入式系统(RTES)仿真。RTES模型用统一建模语言(UML)状态图描述。将状态图转换为基于HLA的仿真模型(HSM)。在转换成HSM之后,我们使用CERTI作为模拟运行时。状态图也被转换成时间自动机网络(NTA)。转换成NTA后,我们使用UPPAAL进行RTES模型验证。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 格洛尼娜,A。B、 :用于测试模块化计算系统配置的实时约束的工具系统(2020年)