使用AADL的模型基工程

引言第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的要素 第5章 定义AADL组件 第6章 软件组件 第7章 执行平台组件 第8章 复合组件和通用组件 第9章 静态和动态体系结构 第10章 组件交互 第11章 系统流与软件开发 第12章 组建模型 第13章 注释模型 第14章 扩展的语言 第15章 创建和验证模型附录A 语法和属性汇总附录B 增补资源附录C 参考文献

《使用AADL的模型基工程－－SAE体系结构分析 和设计语言入门》由AS 5506标准主编成员彼得·H. 费勒、戴维·P.格鲁茨所著，书中简练地介绍了AADL 的概念、结构和使用，以及AADL为何是验证软件 系统体系结构的MBE的有效工具。全书为学习AADL的 读者提供了开发和分析基本系统模型的足够细节。它 是使用 AADL促进MBE开发过程最佳化的首个指南，也是市面 上可获得的学习AADL的唯一教材。本书假定读者已经 具备核 心软件工程实践（如软件体系结构、软件设计）的基 本知识、实时系统（如并发性、调度、通信），以及 计算机运行 期概念（如线程、执行语义）的知识。 本书提供的设计范例工程适用性很强，既能用作 嵌入式实时应用的软件体系结构或软件系统工程课程 的教材，又 可供广大软件工程设计人员作为手册性参考资料。【作者简介】　　SEI枝术团队的资深成员，SAE AADL标准的技术领导和作者。在SEI的27年中，他主要从事软件开发环境、配置管理和实时嵌入式系统的工作。在航电、空间和汽车工业以及政府项目中，配合研究机构广泛应用了AADL类的生成技术。 SEI技术团队早期的资深成员，目前是SEI的访问学者，安柏瑞德(Embry-Riddle)航空航天大学软件和系统工程教授。此外，还承担多家高科技公司的关键工程和技术管理工作，为民机的电传飞控系统、自动过程控制和航天飞机开发了实时软件密集型系统。