使用AADL进行架构分析—视频-火龙果软件

视频：使用AADL进行架构分析 1726 次浏览

316 次

朱利安·德兰奇

视频介绍

这个网络研讨会介绍了体系结构分析和设计语言(AADL)，这是一种用于指定安全关键系统的体系结构建模语言。我们展示了它在开放源码AADL工具环境(OSATE)中的应用。

	其他人还看了
	系统仿真：协同攻击（坦克、无人机、步兵） 890 次浏览模型的讨论和提问（WebEA） 111 次浏览模型检查器-图检查（ Model Checker） 73 次浏览模型检查器功能简介 320 次浏览讲座：基于模型的软件开发 1773 次浏览数据模型-DDL正逆向（iSpace） 842 次浏览