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

　　《使用AADL的模型基工程：SAE体系结构分析和设计语言入门》由AS5506标准主编成员所著，书中简练地介绍了AADL的概念、结构和使用，以及AADL为何是验证软件系统体系结构的MBE的有效工具。全书为学习AADL的读者提供了开发和分析基本系统模型的足够细节。它是使用AADL促进MBE开发过程最佳化的首个指南，也是市面上可获得的学习AADL的唯一教材。《使用AADL的模型基工程：SAE体系结构分析和设计语言入门》假定读者已经具备核心软件工程实践（如软件体系结构、软件设计）的基本知识、实时系统（如并发性、调度、通信），以及计算机运行期概念（如线程、执行语义）的知识。《使用AADL的模型基工程：SAE体系结构分析和设计语言入门》提供的设计范例工程适用性很强，既能用作嵌入式实时应用的软件体系结构或软件系统工程课程的教材，又可供广大软件工程设计人员作为手册性参考资料。

　　彼得·H.费勒（PeterH.Feiler），SEI技术团队的资深成员，SAEAADL标准的技术领导和作者。在SEI的27年中，他主要从事软件开发环境、配置管理和实时嵌入式系统的工作。在航电、空间和汽车工业以及政府项目中，配合研究机构广泛应用了AADL类的生成技术。戴维·P.格鲁茨（DavidP.Gluch），SEI技术团队早期的资深成员，目前是SEI的访问学者，安柏瑞德（Embry—Riddle）航空航天大学软件和系统工程教授。此外，还承担多家高科技公司的关键工程和技术管理工作，为民机的电传飞控系统、自动过程控制和航天飞机开发了实时软件密集型系统。

第1部分 模型基工程与AADL
第1章 模型基软件系统工程
1.1 MBE和软件系统工程
1.1.1 MBE用于嵌入式实时系统
1.1.2 可分析的模型和MBE
1.1.3 MBE和AADL
1.2 AADL和其他建模语言
1.2.1 AADL、MDA和UML
1.2.2 AADL和SysML
第2章 使用SAEAADL进行工作
2.1 AADL模型
2.1.1 组件类别
2.1.2 语言的语法
2.1.3 AADL分类
2.1.4 AADL说明汇总
2.1.5 AADL模型的结构
2.2 系统规范和系统实例
2.2.1 组建系统实例模型
2.2.2 AADL文本域图形表示
2.2.3 分析模型
第3章 使用AADL建模和分析的基础
3.1 简单模型的开发
3.1.1 模型组件的定义
3.1.2 顶层模型的开发
3.1.3 控制软件的细节描述
3.1.4 添加硬件组件
3.1.5 物理连接的说明
3.1.6 软件对硬件的绑定
3.1.7 进行调度分析
3.1.8 综述
3.2 代码文件的表示
3.2.1 源代码和二进制文件的编写
3.2.2 变量名称文件的编写
3.2.3 源代码结构的建模
3.3 动态重构的建模
3.3.1 PBA模型的扩展
3.3.2 模式的规定
3.4 抽象流的建模与分析
3.4.1 流规范的规定
3.4.2 端对端流的规定
3.4.3 流分析
3.5 概念模型的开发
3.5.1 将抽象组件部署在PBA模型中
3.5.2 详细的抽象实现
3.5.3 变换为运行时表示
3.5.4 增加运行时属性
3.5.5 完善规范
3.6 利用组件模式开展的工作
3.6.1 组件库和参考体系结构
3.6.2 建立组件库
3.6.3 定义参考体系结构
3.6.4 使用参考体系结构
第4章 应用AADL能力
4.1 规定系统组成
4.1.1 组件分层
4.1.2 建模执行平台资源
4.1.3 执行平台通信支持
4.1.4 系统分层
4.1.5 建立系统实例模型
4.1.6 使用系统实例模型中的连接开展工作
4.1.7 使用系统实例模型开展工作
4.2 组件交互
4.2.1 数据和控制单向交换的建模
4.2.2 建模共享数据交换
4.2.3 建模局部服务请求或功能调用
4.2.4 建模远程服务请求或功能调用
……
第2部分 AADL的要素