| 摘要 | 第1-8页 |
| ABSTRACT | 第8-10页 |
| 第1章 绪论 | 第10-24页 |
| 1．1 嵌入式系统设计现状 | 第10-13页 |
| 1．2 软硬件协同设计方法Vs系统级设计方法 | 第13-18页 |
| 1．2．1 软硬件协同设计方法 | 第13-15页 |
| 1．2．2 系统级设计方法 | 第15-18页 |
| 1．3 系统级设计方法学 | 第18-20页 |
| 1．4 本文的工作 | 第20-22页 |
| 1．5 论文结构 | 第22-24页 |
| 第2章 用UML为嵌入式系统建模 | 第24-41页 |
| 2．1 引言 | 第24页 |
| 2．2 UML简介 | 第24-30页 |
| 2．2．1 UML语言构造 | 第25-26页 |
| 2．2．2 UML语法和语义 | 第26-28页 |
| 2．2．3 UML的组织 | 第28-29页 |
| 2．2．4 UML的扩展 | 第29-30页 |
| 2．3 实时嵌入式领域中的UML | 第30-40页 |
| 2．3．1 行为特征描述 | 第31-36页 |
| 2．3．2 时间特征描述 | 第36-38页 |
| 2．3．3 结构特征描述 | 第38-40页 |
| 2．4 本章小结 | 第40-41页 |
| 第3章 嵌入式系统模型驱动设计方法 | 第41-59页 |
| 3．1 引言 | 第41-42页 |
| 3．2 模型驱动构架(MODEL DRIVEN ARCHITECTURE,MDA) | 第42-47页 |
| 3．2．1 MDA概述 | 第42-43页 |
| 3．2．2 MOF概述 | 第43-45页 |
| 3．2．3 基于MDA的嵌入式系统设计流程 | 第45-47页 |
| 3．3 模型变换(MODEL TRANSFORMATION) | 第47-57页 |
| 3．3．1 UML模型 | 第48-50页 |
| 3．3．2 SystemC模型 | 第50-52页 |
| 3．3．3 映射规则 | 第52-54页 |
| 3．3．4 平台结构模型 | 第54-55页 |
| 3．3．5 模型变换算法 | 第55-57页 |
| 3．4 应用 | 第57-58页 |
| 3．5 本章小结 | 第58-59页 |
| 第4章 嵌入式系统模型动作语言 | 第59-75页 |
| 4．1 引言 | 第59-60页 |
| 4．2 动作语言的基本结构 | 第60-61页 |
| 4．3 动作语言定义 | 第61-68页 |
| 4．3．1 模型中的动作 | 第61-63页 |
| 4．3．2 基本元素 | 第63-65页 |
| 4．3．3 模型访问 | 第65页 |
| 4．3．4 并发与同步 | 第65-68页 |
| 4．4 动作语言处理 | 第68-74页 |
| 4．4．1 词法和语法分析 | 第68-71页 |
| 4．4．2 模板变换 | 第71-74页 |
| 4．5 本章小结 | 第74-75页 |
| 第5章 面向方面的模型设计与验证 | 第75-89页 |
| 5．1 引言 | 第75-77页 |
| 5．2 面向方面编程〔ASPECT-ORIENTED PROGRAMMING, AOP) | 第77-82页 |
| 5．2．1 面向方面编程概述 | 第77-79页 |
| 5．2．2 面向方面的 UML扩展 | 第79-80页 |
| 5．2．3 验证方面的模型编织 | 第80-82页 |
| 5．3 功能覆盖率的自动化分析 | 第82-84页 |
| 5．4 自动化测试方法 | 第84-87页 |
| 5．4．1 自动化测试框架概述 | 第84-85页 |
| 5．4．2 自动化测试方法 | 第85-87页 |
| 5．5 本章小结 | 第87-89页 |
| 第六章 模型驱动开发环境的实现 | 第89-99页 |
| 6．1 引言 | 第89页 |
| 6．2 IME概述 | 第89-90页 |
| 6．3 IME实现 | 第90-93页 |
| 6．3．1 实现组织 | 第90页 |
| 6．3．2 实现结构 | 第90-93页 |
| 6．4 IME建模 | 第93-96页 |
| 6．4．1 建立PIM模型 | 第93-94页 |
| 6．4．2 建立PSM模型 | 第94-95页 |
| 6．4．3 模型绑定 | 第95页 |
| 6．4．4 动作描述与处理 | 第95-96页 |
| 6．5 模型变换框架 | 第96-98页 |
| 6．6 本章小结 | 第98-99页 |
| 第7章 结论和展望 | 第99-102页 |
| 7．1 本文主要贡献 | 第99-100页 |
| 7．2 今后研究工作 | 第100-101页 |
| 7．3 本章小结 | 第101-102页 |
| 参考文献 | 第102-109页 |
| 附录A: SYSTEMC模型图形示例 | 第109页 |
| 附录B: 动作语言语法 | 第109-116页 |
| 致谢 | 第116-117页 |
| 攻读博士期间科研工作 | 第117-119页 |
