| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-7页 |
| 1 绪论 | 第7-12页 |
| ·研究背景及意义 | 第7-9页 |
| ·嵌入式实时软件的定义 | 第7-8页 |
| ·嵌入式实时软件的特征 | 第8页 |
| ·嵌入式实时软件建模的意义 | 第8-9页 |
| ·国内外研究现状 | 第9-10页 |
| ·本文的研究内容及组织结构 | 第10-12页 |
| 2 基于UML与时序逻辑的嵌入式实时软件建模 | 第12-23页 |
| ·UML2.0及其扩展方法分析 | 第12-19页 |
| ·UML2.0概述 | 第12-16页 |
| ·UML2.0交互图 | 第16-17页 |
| ·UML扩展方法分析与比较 | 第17-19页 |
| ·时序逻辑语言XYZ/E的相关概念 | 第19-21页 |
| ·XYZ/E的基本内容 | 第19-21页 |
| ·实时XYZ/E | 第21页 |
| ·UML2.0与XYZ/E相结合的嵌入式实时软件建模 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 3 UML2.0交互图的XYZ/E时序逻辑语义 | 第23-46页 |
| ·UML2.0顺序图的XYZ/E时序逻辑语义 | 第23-29页 |
| ·UML2.0顺序图的语法 | 第24-25页 |
| ·形式化语义 | 第25-27页 |
| ·一个例子 | 第27-29页 |
| ·UML2.0通信图的XYZ/E时序逻辑语义 | 第29-35页 |
| ·UML2.0通信图的语法 | 第30-32页 |
| ·形式化语义 | 第32-33页 |
| ·一个例子 | 第33-35页 |
| ·UML2.0时序图的XYZ/E时序逻辑语义 | 第35-40页 |
| ·UML2.0时序图的语法 | 第36-37页 |
| ·形式化语义 | 第37-38页 |
| ·一个例子 | 第38-40页 |
| ·UML2.0交互概况图的XYZ/E时序逻辑语义 | 第40-45页 |
| ·UML2.0交互概况图的语法 | 第41-42页 |
| ·形式化语义 | 第42-43页 |
| ·一个例子 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 4 实例分析:一个汽车驾驶辅助系统的建模研究 | 第46-56页 |
| ·系统介绍 | 第46页 |
| ·系统建模 | 第46-55页 |
| ·自适应巡航控制系统 | 第47-50页 |
| ·智能安全气囊系统 | 第50-53页 |
| ·系统的整体模型 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 5 总结与展望 | 第56-58页 |
| ·本文工作总结 | 第56页 |
| ·下一步工作 | 第56-58页 |
| 参考文献 | 第58-60页 |
| 附:作者在攻读硕士学位期间发表的论文目录、科研情况 | 第60-61页 |
| 致谢 | 第61-62页 |