AADL学习笔记

AADL（Architecture Analysis and Design Language）系统（体系）结构分析与设计语言，是一种面向嵌入式实时系统领域的建模语言，具有语法简单、语义精确、功能强大、可扩展等优点，能够对嵌入式软件的功能和非功能属性进行建模和描述，并且能够在开发早期对系统进行分析与验证。

$AADL三种标准模型描述方式\{\begin{array}{l}文本化\\ XML\\ 图形化\end{array}$

一个AADL的描述由对一系列构件的描述组成

$构件的描述\{\begin{array}{l}类型：对外部接口的描述\\ 实现：对内部结构的描述\end{array}$

一个AADL的构件拥有一个类型以及零个、一个或多个实现

$构件的种类\{\begin{array}{l}软件构件\{\begin{array}{l}进程\\ 线程（组）\\ 子程序\\ 数据\end{array}\\ 硬件构件\{\begin{array}{l}处理器\\ 存储器\\ 总线\\ 设备\end{array}\\ 组合构件：软件和硬件的复合\end{array}$

$AADL建模方法\{\begin{array}{l}不同阶段建模\\ 不同层次建模\end{array}$

$AADL不同阶段建模\{\begin{array}{l}需求阶段\\ 设计阶段\\ 实现阶段\\ 部署阶段\\ 后开发阶段\end{array}$

$后开发阶段\{\begin{array}{l}动态体系结构：软件的体系结构在运行时由于内部执行或外部环境发生改变\\ 体系结构恢复与重构：对遗留系统的升级和功能增强\end{array}$

$AADL不同层次建模\{\begin{array}{l}顶层设计：主要描述系统的各个模块及模块间的关系\\ 底层设计：主要描述模块的软硬件组成、软硬件与模块、软硬件与软硬件间的关系\end{array}$

$基于AADL模型驱动开发\{\begin{array}{l}获得PIM模型\\ 转换成PSM模型（利用功能转换规则）\\ 转换成AADL分析模型（利用非功能转换规则）\\ 生成可执行代码\end{array}$

$MDA模型分类\{\begin{array}{l}PIM：描述执行平台的功能和结构\\ PSM：描述特定执行平台的功能和结构\end{array}$

模型驱动体系结构（Model Driven Architecture,MDA）
模型驱动开发（Model Driven Development.MDD）
平台无关模型（Platform Independent Model,PIM）
平台相关模型（Platform Specific Model,PSM）