嵌入式软件系统架构设计和构件化分析方法.doc

嵌入式软件系统架构设计与构件化分析方法 一、 摘要： 5 二、 SAE AADL 概述 5 2.1. 构件抽象 5 2.2. 构架分析 6 三、 AADL语言抽象 8 3.1. 构件 8 3.2. 构件类型 9 3.3. 包、属性集和附录 10 四、 AADL系统模型和规范 10 4.1. AADL文本规范 11 4.2. 图形化表示 13 4.3. 例子详述 13 4.4. 类型声明 16 4.5. 实现声明 17 4.6. 包声明 19 4.7. 属性集声明 19 4.8. 附录库声明 19 4.9. 命名空间 20 4.10. 部分规范 20 4.11. 扩展、重定义和部分规范 20 五、 软件组件 21 5.1. 进程 21 5.1.1. 文本表示 22 5.1.2. 图形化表示 23 5.1.3. 属性 23 5.1.4. 约束 24 5.2. 线程 24 5.2.1. 文本表示 24 5.2.2. 图形化表示 25 5.2.3. 线程实施 26 5.2.4. 属性 27 5.2.5. 约束 28 5.3. 线程组 28 5.3.1. 文本表示 28 5.3.2. 图形化表示 29 5.3.3. 属性 30 5.3.4. 约束 31 5.4. 数据 31 5.4.1. 文本表示 32 5.4.2. 图形化表示 33 5.4.3. 属性 34 5.4.4. 约束 34 5.