使用AADL的模型基工程 SAE体系结构分析和设计语言入门

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