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

引言
第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  参考文献