使用AADL的模型基工程——SAE体系结构分析和设计语言入门_（英）彼得?H.费勒（Peter H. Feiler）戴维?P.格鲁茨（David P. Gluch）著_9787516504055

《使用AADL的模型基工程－－SAE体系结构分析和设计语言入门》由AS 5506标准主编成员彼得·H. 费勒、戴维·P.格鲁茨所著，书中简练地介绍了AADL 的概念、结构和使用，以及AADL为何是验证软件系统体系结构的MBE的有效工具。全书为学习AADL的读者提供了开发和分析基本系统模型的足够细节。它是使用 AADL促进MBE开发过程*化的首个指南，也是市面上可获得的学习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 参考文献

你还可能感兴趣

我要评论