| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-9页 |
| 1 绪论 | 第9-15页 |
| ·研究背景介绍 | 第9-11页 |
| ·嵌入式实时软件概述 | 第9页 |
| ·嵌入式实时软件的建模和分析方法 | 第9-10页 |
| ·构件技术在嵌入式实时软件开发中的作用 | 第10-11页 |
| ·国内外研究现状 | 第11-12页 |
| ·本文的研究内容及意义 | 第12-13页 |
| ·本文的组织结构 | 第13-15页 |
| 2 UML 与时间ER 网概述 | 第15-29页 |
| ·UML 及其建模方法分析 | 第15-23页 |
| ·UML 概述 | 第15页 |
| ·UML 的建模机制 | 第15-21页 |
| ·UML 的扩展机制 | 第21-23页 |
| ·时间ER 网概述 | 第23-27页 |
| ·Petri 网概述 | 第23页 |
| ·时间Petri 网的相关研究 | 第23-25页 |
| ·时间ER 网的定义和特性 | 第25-27页 |
| ·UML 与时间ER 网结合建模的优点 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 3 基于UML 与时间ER 网的嵌入式实时软件建模 | 第29-40页 |
| ·UML 的实时扩展 | 第29-32页 |
| ·UML2.0 顺序图的实时扩展 | 第29-30页 |
| ·UML2.0 状态机图的实时扩展 | 第30-32页 |
| ·时间ER 网的构件化扩展 | 第32-33页 |
| ·UML 与CTERs 相结合的嵌入式实时软件建模方法 | 第33-39页 |
| ·基于UML 的系统建模 | 第33-34页 |
| ·UML 到CTERs 的映射规则 | 第34-39页 |
| ·本章小结 | 第39-40页 |
| 4 基于构件的组合时间分析方法 | 第40-51页 |
| ·组合时间分析方法概述 | 第40-41页 |
| ·CTERs 模型的组合规则 | 第41-45页 |
| ·CTERs 模型的组合方法 | 第41-43页 |
| ·构件模型的组合顺序规则 | 第43-45页 |
| ·CTERs 模型的约简规则 | 第45-47页 |
| ·连续时间约简规则 | 第45-46页 |
| ·包含时间约简规则 | 第46-47页 |
| ·对CTERs 模型时间性质的分析方法 | 第47-50页 |
| ·本章小结 | 第50-51页 |
| 5 实例分析：一个高尔夫球场门禁系统的研究 | 第51-63页 |
| ·系统概述 | 第51-52页 |
| ·基于UML 与CTERs 的系统建模 | 第52-57页 |
| ·基于UML 的系统建模 | 第52-55页 |
| ·UML 模型到CTERs 模型的映射和转换 | 第55-57页 |
| ·对系统进行组合时间分析 | 第57-61页 |
| ·进一步讨论 | 第61-62页 |
| ·本章小结 | 第62-63页 |
| 6 相关工作介绍与比较 | 第63-65页 |
| 7 总结与展望 | 第65-67页 |
| ·本文工作总结 | 第65-66页 |
| ·下一步工作 | 第66-67页 |
| 参考文献 | 第67-70页 |
| 附:作者在攻读硕士学位期间发表的论文目录、科研情况 | 第70-71页 |
| 致谢 | 第71页 |
