2016新编嵌入式软件系统架构设计与构件化分析方法.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.5. 子程序 35 5.5.1. 文本表示 35 5.5.2. 图形化表示 36 5.5.3. 属性 38 5.5.4. 约束 39 六、 运行平台构件 39 6.1. 处理器 40 6.1.1. 文本和图形化描述 41 6.1.2. 属性 41 6.1.3. 约束 42 6.2. 存储器 42 6.2.1. 文本和图形化描述 42 6.2.2. 属性 43 6.2.3. 约束 44 6.3. 总线 44 6.3.1. 文本和图形化描述 44 6.3.2. 属性 45 6.3.3. 约束 45 6.4. 设备 46 6.4.1. 文本和图形化描述 46 6.4.2. 属性 48 6.4.3. 约束 48 七、 系统结构与实例 49 7.1. 系统抽象 49 7.1.1. 原文和图解表示 49 7.1.2. 约束 50 7.2. 系统实例 51 八、 组件相互作用 53 8.1. 端口 53 8.1.1. 端口声明 53 8.1.2. 端口连接 54 8.1.3. 在系统实例模型连接 56 8.1.4. 端口通信时序 57 8.1.5. 即时和时延通信 57 8.1.6. 采样和下采样 60 8.1.7. 属性 61 8.1.8. 端口及端口连接约束 62 8.2. 端口组 62 8.2.1. 端口组及其类型声明 62 8.2.2. 端口组互联 64 8.2.3. 数据端口的聚合 65 8.2.4. 属性 65 8.3. 子组件的访问 65 8.3.1. 数据访问声明 66 8.3.2. 数据访问连接 66 8.3.3. 总线访问及其连接 68 8.4. 子程序调用 71 8.4.1. 调用时序 71 8.4.2. 远程调用 72 8.4.3. 属性 74 8.5. 子程序中的数据交换和共享 74 8.5.1. 数据值传递交换：参数和连接 75 8.5.2. 引用和全局变量的数据传输 76 8.5.3. AADL方法调用 78 九、 模式 79 9.1. 模式说明 79 9.1.1. 子构件和连接的模式结构 79 9.1.2. 调用序列的模式结构 82 9.1.3. 模式说明的属性 83 十、 流 83 10.1. 流声明 83 10.2. 流路径 84 10.2.1. 通过构件的流的路径 84 10.2.2. 在构件中首尾相连的流 85 十一、 属性 86 11.1. 属性声明 87 11.2. 属性赋值 87 11.2.1. 基本的属性联合 87 11.2.2. 包含的属性联合 88 11.2.3. 继承的属性联合 91 11.2.4. 模式或有约束力的属性联合 91 11.2.5. 属性值 92 11.3. 定义新的属性 93 11.4. 属性类声明 94 11.5. 属性名声明 95 11.6. 属性常量声明 96 十二、 组织说明 97 12.1. 包 97 12.2. 设计模式 99 12.2.1. 类扩充 99 12.2.2. 实现改进 100 12.2.3. 实现扩充 101 12.2.4. 设计模式样例 102 附录 105 构件-子构件之间的关系 105 允许的特征 105 约束概要 107 已建立的属性类 109 AADL保留字 110 类扩充中的改进 110 实现声明中的改进 111 摘要： 2004年11月，美国汽车工程师协会