某次课程作业要求，使用osate-topcased（基于eclipse的插件），使用AADL语言模拟了GPS的工作机制。
2019-12-21 21:05:49
10KB
1
OSATE是一个完整的建模环境，包括AADL和EMFTA，为描述AADL模型提供了支持。它由许多功能组成，用于建模和分析系统。此外，用户可以基于OSATE构建自己的工具，并扩展其初始功能。
2019-12-21 20:43:33
975KB
1