引言

第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章 使用SAE AADL进行工作

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 建模远程服务请求或功能调用

4.2.5 建模面向对象的方法调用

4.2.6 建模子程序参数

4.2.7 与外部世界的接口

4.3 数据及其使用建模

4.3.1 定义一个简单的数据类型

4.3.2 表示数据类型的变型

4.3.3 数据类型详解

4.4 组织一个设计

4.4.1 软件包使用

4.4.2 开发替代的实现

4.4.3 定义多种扩展

第2部分 AADL的要素

第5章 定义AADL组件

5.1 组件名称

5.2 组件类别

5.3 说明组件类型

5.4 说明组件的外部接口

5.5 说明组件实现

5.6 汇总

第6章 软件组件

6.1 线程

6.1.1 表示

6.1.2 属性

6.1.3 限制

6.2 线程组

6.2.1 表示

6.2.2 属性

6.2.3 限制

6.3 进程

6.3.1 表示

6.3.2 属性

6.3.3 限制

6.4 数据

6.4.1 表示

6.4.2 属性

6.4.3 限制

6.5 子程序

6.5.1 表示

6.5.2 属性

6.5.3 限制

6.6 子程序组

6.6.1 表示

6.6.2 属性

6.6.3 限制

第7章 执行平台组件

7.1 处理器

7.1.1 表示

7.1.2 属性

7.1.3 限制

7.2 虚拟处理器

7.2.1 表示

7.2.2 属性

7.2.3 限制

7.3 存储器

7.3.1 表示

7.3.2 属性

7.3.3 限制

7.4 总线

7.4.1 表示

7.4.2 属性

7.4.3 限制

7.5 虚拟总线

7.5.1 表示

7.5.2 属性

7.5.3 限制

7.6 设备

7.6.1 表示

7.6.2 属性

7.6.3 限制

第8章 复合组件和通用组件

8.1 系统

8.1.1 表示

8.1.2 属性

8.1.3 限制

8.2 抽象

8.2.1 表示

8.2.2 属性

8.2.3 限制

第9章 静态和动态体系结构

9.1 分组件

9.1.1 说明分组件

9.1.2 使用分组件说明

9.1.3 作为阵列说明的分组件

9.2 模式

9.2.1 说明模式和模式转换

9.2.2 说明模态组件类型和实现

9.2.3 使用可选组件配置的模式

9.2.4 继承模式

9.2.5 模式特定的属性

9.2.6 调用序列的模态配置

第10章 组件交互

10.1 端口和连接

10.1.1 端口说明

10.1.2 端口与端口连接的说明

10.1.3 端口与端口连接的使用

10.1.4 端口与端口连接的限制

10.1.5 端口通信时序

10.1.6 数据流的采样处理

10.1.7 确定性采样

10.1.8 混合端口基和共享数据通信

10.1.9 端口与端口的连接属性

10.1.10 集合数据通信

10.2 数据访问和连接

10.3 总线访问和连接

10.4 特征组和连接

10.4.1 特征组类型说明

10.4.2 将特征组作为组件特征来说明

10.4.3 特征组连接说明

10.5 抽象特征和连接

10.5.1 抽象特征说明

10.5.2 抽象特征细化

10.6 阵列和连接

10.6.1 明确规定的阵列连接

10.6.2 阵列连接模式

10.6.3 使用阵列连接属性

10.7 子程序调用、访问和实例

10.7.1 说明调用和调用序列

10.7.2 将远程子程序调用作为绑定来说明

10.7.3 将远程子程序调用作为访问连接来说明

10.7.4 建模子程序实例

10.8 参数连接

10.8.1 参数说明

10.8.2 参数连接的说明

第11章 系统流与软件开发

11.1 流

11.1.1 流规范说明

11.1.2 流实现说明

11.1.3 端对端流说明

11.1.4 端对端流处理

11.2 软件与硬件的绑定

11.2.1 绑定属性的说明

11.2.2 处理器绑定

11.2.3 存储器绑定

11.2.4 连接绑定

11.2.5 远程子程序调用的绑定

第12章 组建模型

12.1 模型要素的命名和引用

12.1.1 软件包的命名和引用

12.1.2 分类符的命名和引用

12.1.3 对模型要素的引用

12.1.4 属性集的命名和引用

12.2 利用软件包组建模型

12.2.1 软件包说明

12.2.2 软件包中引用的要素

12.2.3 用于软件包和类型参考的别名

12.3 通过细化改进模型

12.3.1 分类符扩展说明

12.3.2 模型要素细化说明

12.3.3 用于细化的分类符替换规则

12.3.4 类别的细化

12.4 作为分类符参数的原型

12.4.1 原型说明

12.4.2 原型使用

12.4.3 提供原型实际

12.4.4 属性

第13章 注释模型

13.1 编写模型要素文件

13.1.1 评注并描述属性

13.1.2 空白组件段

13.2 使用属性

13.2.1 分配属性值

13.2.2 AADL属性类型和数值

13.2.3 确定属性值

13.2.4 包容属性关联

13.2.5 确定属性值：一个示例

第14章 扩展的语言

14.1 属性集

14.1.1 说明的属性集

14.1.2 属性集说明

14.1.3 属性定义

14.1.4 属性常数说明

14.2 附件子语言

14.2.1 附件库中说明的附件概念

14.2.2 分子句中使用的附件概念

第15章 创建和验证模型

15.1 模型创建

15.2 模型创建工具

15.3 系统验证和生成

15.4 系统验证和生成工具

附录A 语法和属性汇总

A.1 AADL语法

A.2 组件类型和实现要素

A.3 基本属性类型和类型构造器

A.4 AADL备用字

A.5 AADL属性

A.5.1 部署属性

A.5.2 线程相关属性

A.5.3 时序属性

A.5.4 通信属性

A.5.5 存储器相关属性

A.5.6 编程属性

A.5.7 建模属性

A.5.8 项目特定常数和属性类型

A.6 运行时服务

A.6.1 应用运行时服务

A.6.2 运行时执行服务

A.7 汽艇自动驾驶仪系统

A.7.1 描述

A.7.2 增强版PBA系统

A.7.3 PBA系统的AADL组件

A.7.4一个备选的AADL表示法

附录B 增补资源

B.1 系统体系结构建模

B.2 案例研究

附录C 参考文献