| 摘要 | 第1-8页 |
| ABSTRACT | 第8-12页 |
| 第1章 绪论 | 第12-19页 |
| ·研究目的及意义 | 第12页 |
| ·国内外相关研究及现状 | 第12-15页 |
| ·嵌入式系统概述 | 第15-17页 |
| ·本文的工作 | 第17页 |
| ·本文的结构组织 | 第17-19页 |
| 第2章 嵌入式系统建模概念 | 第19-26页 |
| ·嵌入式系统的描述要求 | 第19-21页 |
| ·VHDL 语言 | 第21-23页 |
| ·STATECHARTS 语言 | 第23-24页 |
| ·SDL 语言 | 第24页 |
| ·SPECCHARTS 语言 | 第24页 |
| ·UML 语言 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第3章 SPECCHARTS 语言在嵌入式系统建模中的应用 | 第26-35页 |
| ·用SPECCHARTS 语言描述嵌入式系统 | 第26-30页 |
| ·应用举例 | 第30-33页 |
| ·SPECCHARTS 语言建模的优缺点 | 第33-34页 |
| ·小结 | 第34-35页 |
| 第4章 UML 及扩展机制在嵌入式建模中的应用 | 第35-44页 |
| ·UML 概述 | 第35-36页 |
| ·用UML 及扩展机制描述嵌入式系统 | 第36-38页 |
| ·应用实例 | 第38-42页 |
| ·优缺点分析 | 第42-43页 |
| ·小结 | 第43-44页 |
| 第5章 模式方法在嵌入式系统建模中的应用 | 第44-52页 |
| ·模式驱动的建模与分析思想概述 | 第44-45页 |
| ·对象分析模式与实时描述模式 | 第45-50页 |
| ·模型构建与分析验证步骤 | 第50页 |
| ·模式方法的优缺点 | 第50-51页 |
| ·小结 | 第51-52页 |
| 第6章 模式方法应用实例和分析 | 第52-62页 |
| ·用于电子监控与告警系统的对象分析和实时模式 | 第52-54页 |
| ·ESCAS 基于UML 的概念模型 | 第54-55页 |
| ·模型约束分析与检测 | 第55-58页 |
| ·应用效果与前景分析 | 第58页 |
| ·模式方法与几种建模语言的实验比较 | 第58-59页 |
| ·实验结果分析 | 第59-61页 |
| ·小结 | 第61-62页 |
| 结论 | 第62-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-69页 |
| 附录A 攻读学位期间所发表的学术论文 | 第69-70页 |
| 附录B 主持和参加的科研项目 | 第70页 |