| 摘要 | 第1-8页 |
| ABSTRACT | 第8-14页 |
| 第一章 绪论 | 第14-22页 |
| ·选题背景与意义 | 第14-17页 |
| ·信息物理系统的基本概念 | 第14-15页 |
| ·信息物理系统的特点 | 第15-16页 |
| ·信息物理系统在建模方面的挑战 | 第16页 |
| ·模型驱动开发 | 第16-17页 |
| ·相关研究 | 第17-18页 |
| ·本文研究内容 | 第18-20页 |
| ·本文的组织结构 | 第20-22页 |
| 第二章 针对信息物理系统特性建模的MARTE的扩展 | 第22-34页 |
| ·HybridMARTE概述 | 第22页 |
| ·混成数据类型 | 第22-23页 |
| ·表达式 | 第23-26页 |
| ·多形态时间建模 | 第26-31页 |
| ·时钟 | 第27-29页 |
| ·时钟类型 | 第29页 |
| ·定时事件 | 第29-31页 |
| ·定时处理 | 第31页 |
| ·本章小结 | 第31-34页 |
| 第三章 HybridMARTE | 第34-58页 |
| ·HybridMARTE类图 | 第35-38页 |
| ·HyridMARTE类图的形式化语法 | 第36-37页 |
| ·HybridMARTE类图的语义 | 第37-38页 |
| ·HybridMARTE顺序图 | 第38-46页 |
| ·HybridMARTE顺序图的形式化模型 | 第39-41页 |
| ·HybridMARTE顺序图的安全语义 | 第41-45页 |
| ·HybridMARTE顺序图的活性语义 | 第45-46页 |
| ·HybridMARTE状态图 | 第46-52页 |
| ·HybridMARTE状态图的形式化模型 | 第46-48页 |
| ·HybridMARTE状态图的安全语义 | 第48-51页 |
| ·HybridMARTE状态图的活性语义 | 第51-52页 |
| ·建模、仿真与验证集成开发环境Hybrid tMDA | 第52-56页 |
| ·Hybrid tMDA的体系结构 | 第53-54页 |
| ·Hybrid tMDA的仿真与验证 | 第54-56页 |
| ·本章小结 | 第56-58页 |
| 第四章 列车定位系统的建模、仿真和验证 | 第58-74页 |
| ·TPD系统需求说明 | 第58-60页 |
| ·查询/信标定位 | 第58-59页 |
| ·测速定位 | 第59页 |
| ·TPD系统定位需求 | 第59-60页 |
| ·TPD系统的形式化模型 | 第60-73页 |
| ·时钟分析模型 | 第60-61页 |
| ·时钟设计模型 | 第61-62页 |
| ·需求模型 | 第62-64页 |
| ·设计模型 | 第64-69页 |
| ·系统验证 | 第69页 |
| ·系统仿真 | 第69-73页 |
| ·本章小结 | 第73-74页 |
| 第五章 总结与展望 | 第74-76页 |
| ·总结 | 第74-75页 |
| ·下一步工作 | 第75-76页 |
| 参考文献 | 第76-82页 |
| 致谢 | 第82-83页 |
| 发表论文和科研情况 | 第83页 |