| 摘要 | 第3-5页 |
| ABSTRACT | 第5-6页 |
| 第一章 绪论 | 第10-18页 |
| 1.1 研究背景及意义 | 第10-11页 |
| 1.2 国内外研究现状 | 第11-14页 |
| 1.2.1 系统建模语言 SysML | 第11-12页 |
| 1.2.2 架构分析设计语言 AADL | 第12-13页 |
| 1.2.3 嵌入式实时系统建模与分析 MARTE | 第13页 |
| 1.2.4 基于 MDA 的模型转换研究现状 | 第13-14页 |
| 1.3 研究目标及内容 | 第14-15页 |
| 1.3.1 研究目标 | 第14-15页 |
| 1.3.2 研究内容 | 第15页 |
| 1.4 本文章节安排 | 第15-18页 |
| 第二章 相关技术分析 | 第18-30页 |
| 2.1 模型驱动架构及模型转换 | 第18-21页 |
| 2.1.1 模型驱动架构 MDA | 第18-19页 |
| 2.1.2 基于 MDA 的软件开发方法 | 第19-20页 |
| 2.1.3 模型转换技术 | 第20-21页 |
| 2.2 基于 AADL 的实时嵌入式架构建模 | 第21-23页 |
| 2.2.1 架构分析设计语言 AADL | 第21-22页 |
| 2.2.2 AADL 扩展机制与建模环境 | 第22-23页 |
| 2.3 基于 SYSML 的系统建模及验证 | 第23-25页 |
| 2.3.1 SysML 基本概念 | 第23-24页 |
| 2.3.2 SysML 建模及验证 | 第24-25页 |
| 2.4 飞机座舱显示控制系统技术 | 第25-29页 |
| 2.4.1 典型显控系统架构及功能 | 第26-28页 |
| 2.4.2 航空电子综合技术 | 第28-29页 |
| 2.5 本章小结 | 第29-30页 |
| 第三章 飞机座舱显示控制应用软件开发方法 | 第30-53页 |
| 3.1 方法概述 | 第30-33页 |
| 3.1.1 方法的目标 | 第30页 |
| 3.1.2 方法的总体方案 | 第30-33页 |
| 3.2 DCAM 方法的关键技术 | 第33-38页 |
| 3.2.1 模型驱动 | 第33-35页 |
| 3.2.2 以架构为中心 | 第35-37页 |
| 3.2.3 组件复用 | 第37-38页 |
| 3.3 支持 DCAM 方法的 DCA 框架模型和 DCA 管理环境 | 第38-41页 |
| 3.3.1 DCA 框架模型 | 第38-40页 |
| 3.3.2 DCA 管理环境 | 第40-41页 |
| 3.4 DCAM 方法的应用流程 | 第41-52页 |
| 3.4.1 软件需求阶段 | 第41-45页 |
| 3.4.2 软件设计阶段（候选架构设计及验证） | 第45-50页 |
| 3.4.3 软件设计阶段（基于候选架构的迭代设计） | 第50-51页 |
| 3.4.4 软件编码阶段 | 第51-52页 |
| 3.5 本章小节 | 第52-53页 |
| 第四章 飞机座舱显示控制应用框架模型 | 第53-74页 |
| 4.1 DCA 框架元模型 | 第53-62页 |
| 4.1.1 复用组件 | 第53-56页 |
| 4.1.2 领域实体 | 第56-58页 |
| 4.1.3 显控设计模式 | 第58-61页 |
| 4.1.4 架构模版 | 第61-62页 |
| 4.2 显控应用软件架构、功能及非功能模型 | 第62-67页 |
| 4.2.1 基于 AADL 的系统架构模型 | 第63-65页 |
| 4.2.2 基于 SysML 的系统功能模型 | 第65-67页 |
| 4.2.3 基于 MARTE 的系统非功能模型 | 第67页 |
| 4.3 AADL/SYSML/MARTE 之间的模型转换 | 第67-73页 |
| 4.3.1 DCA 框架概要文件 | 第68-70页 |
| 4.3.2 DCA 框架属性集 | 第70-71页 |
| 4.3.3 从 AADL 到 SysML 的转换 | 第71-72页 |
| 4.3.4 从 SysML 到 DCA 框架模型的转换 | 第72-73页 |
| 4.3.5 从 SysML 到 AADL 的转换 | 第73页 |
| 4.4 本章小节 | 第73-74页 |
| 第五章 支持 DCAM 方法的 DCA 管理环境设计与实现 | 第74-90页 |
| 5.1 DCA 管理环境架构设计 | 第74-81页 |
| 5.1.1 逻辑视图 | 第74-75页 |
| 5.1.2 部署视图 | 第75-76页 |
| 5.1.3 实现环境 | 第76-77页 |
| 5.1.4 执行流程 | 第77-81页 |
| 5.2 核心模块的设计实现 | 第81-88页 |
| 5.2.1 模型转换工具 | 第81-83页 |
| 5.2.2 应用实例架构定义工具 | 第83-86页 |
| 5.2.3 代码生成工具 | 第86-87页 |
| 5.2.4 集成开发环境 | 第87-88页 |
| 5.3 本章小节 | 第88-90页 |
| 第六章 方法的验证及应用 | 第90-108页 |
| 6.1 DCM 管理环境测试 | 第90-93页 |
| 6.1.1 功能测试 | 第90-93页 |
| 6.1.2 性能测试 | 第93页 |
| 6.2 DCAM 方法的应用 | 第93-106页 |
| 6.2.1 软件需求阶段 | 第93-96页 |
| 6.2.2 候选架构设计及验证 | 第96-103页 |
| 6.2.3 基于候选架构的迭代设计 | 第103-104页 |
| 6.2.4 代码生成及仿真验证 | 第104-106页 |
| 6.3 本章小节 | 第106-108页 |
| 第七章 总结与展望 | 第108-110页 |
| 7.1 工作总结 | 第108页 |
| 7.2 下一步工作 | 第108-110页 |
| 参考文献 | 第110-116页 |
| 致谢 | 第116-118页 |
| 攻读硕士学位期间已发表的学术论文 | 第118-120页 |
