OSATE是一个完整的建模环境，包括AADL和EMFTA，为描述AADL模型提供了支持。它由许多功能组成，用于建模和分析系统。此外，用户可以基于OSATE构建自己的工具，并扩展其初始功能。
2019-12-21 20:43:33
975KB
1