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

书名：使用AADL的模型基工程——SAE体系结构分析和设计语言入门
作者：(英)彼得·H.费勒(Peter H. Feiler)，(英)戴维·P.格鲁茨(David P. Gluch)著
ISBN：978-7-5165-0405-5
出版社：航空工业出版社
出版日期：2014.06
本书主要介绍基于AADL的SAE体系结构分析。AADL是一个建模语言，考虑到性能关键属性，通过一个可扩展的符号，一个工具框架和精确定义的语义，这个语言支持对系统的结构进行早期和反复的论证。这个语言按照不同的构建和构件 之间的交互，使用形式化建模概念对应用体系结构进行描述和分析。它包括软件、可计算性硬件和系统构建的抽象。