| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 引言 | 第11-17页 |
| ·研究背景 | 第11-13页 |
| ·实时系统建模 | 第11-12页 |
| ·实时系统仿真和验证 | 第12-13页 |
| ·问题总结 | 第13页 |
| ·解决方案 | 第13-14页 |
| ·实时系统设计工具 | 第14页 |
| ·UML时序图模型到UPPAAL时间自动机模型的转换 | 第14页 |
| ·技术路线 | 第14-15页 |
| ·本文的主要贡献 | 第15-16页 |
| ·本文的组织结构 | 第16-17页 |
| 第二章 实时系统设计 | 第17-28页 |
| ·实时系统概述 | 第17-19页 |
| ·实时系统建模 | 第19-24页 |
| ·UML概述 | 第20页 |
| ·UML用于实时系统建模 | 第20-24页 |
| ·实时系统仿真和验证 | 第24-27页 |
| ·时间自动机 | 第25-26页 |
| ·UPPAAL中的时间自动机 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 UML时序图模型转UPPAAL时间自动机模型 | 第28-52页 |
| ·转换规则 | 第28-48页 |
| ·模型转换算法 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 第四章 模型转换工具 | 第52-64页 |
| ·设计目的 | 第52页 |
| ·系统框架 | 第52-53页 |
| ·具体实现 | 第53-63页 |
| ·系统建模并导出到XMI文件 | 第53-54页 |
| ·XMI解析 | 第54-63页 |
| ·本章小结 | 第63-64页 |
| 第五章 应用实例 | 第64-71页 |
| ·实例描述 | 第64-65页 |
| ·系统建模 | 第65页 |
| ·模型转换 | 第65-67页 |
| ·仿真和验证 | 第67-68页 |
| ·错误处理 | 第68-70页 |
| ·本章小结 | 第70-71页 |
| 第六章 总结与展望 | 第71-74页 |
| ·本文总结 | 第71-72页 |
| ·未来展望 | 第72-74页 |
| 附录 攻读学位期间发表的学术论文及参与的科研项目目录 | 第74-75页 |
| 参考文献 | 第75-79页 |
| 致谢 | 第79页 |
