本书主要介绍基于AADL的SAE体系结构分析。AADL是一个建模语言, 考虑到性能关键属性, 通过一个可扩展的符号, 一个工具框架和精确定义的语义, 这个语言支持对系统的结构进行早期和反复的论证。这个语言按照不同的构建和构件 之间的交互, 使用形式化建模概念对应用体系结构进行描述和分析。它包括软件、可计算性硬件和系统构建的抽象。

  ·点击进入下载地址