| 摘要 | 第1-6页 |
| ABSTRACT | 第6-14页 |
| 第一章 绪论 | 第14-17页 |
| ·选题背景与意义 | 第14页 |
| ·研究动态 | 第14-15页 |
| ·研究内容和组织形式 | 第15-17页 |
| ·论文的主要内容 | 第15-16页 |
| ·论文的组织方式 | 第16-17页 |
| 第二章 基础及相关技术 | 第17-26页 |
| ·CPS及其相关概念 | 第17-19页 |
| ·CPS的基本概念 | 第17页 |
| ·CPS的特点 | 第17-18页 |
| ·CPS的研究挑战 | 第18-19页 |
| ·实时系统的时间特性建模 | 第19-20页 |
| ·面向方面技术 | 第20-23页 |
| ·面向方面编程 | 第20-21页 |
| ·面向方面建模 | 第21-23页 |
| ·UML相关概述 | 第23-24页 |
| ·UML扩展机制 | 第23-24页 |
| ·UML的新框架MARTE | 第24页 |
| ·实时逻辑(RTL) | 第24页 |
| ·时段演算(DC) | 第24-26页 |
| 第三章 CPS与时间语义 | 第26-30页 |
| ·CPS对时间特性的需求 | 第26-28页 |
| ·解决思路与研究方向 | 第28-29页 |
| ·计算机体系结构 | 第28页 |
| ·编程语言 | 第28页 |
| ·软件组件技术 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第四章 基于MARTE的时间建模 | 第30-44页 |
| ·MARTE框架 | 第30-31页 |
| ·领域视图 | 第31-43页 |
| ·基本时间模型 | 第33-34页 |
| ·多重时间模型 | 第34-35页 |
| ·时间控制 | 第35-37页 |
| ·时间实体关系 | 第37-43页 |
| ·本章小结 | 第43-44页 |
| 第五章 基于UML的实时系统时间方面模型 | 第44-52页 |
| ·AOSDM-UML模型 | 第44-50页 |
| ·UML面向方面扩展 | 第45-47页 |
| ·结构模型 | 第47-49页 |
| ·行为模型 | 第49页 |
| ·方面织入 | 第49-50页 |
| ·时间方面模型 | 第50-51页 |
| ·本章小结 | 第51-52页 |
| 第六章 CYBER-PHYSICAL网络环境下时间特性的分析与建模 | 第52-75页 |
| ·时间模型的UML自定义扩展 | 第52-56页 |
| ·基本时间模型 | 第53页 |
| ·定时机制模型 | 第53-54页 |
| ·时间事件模型 | 第54-55页 |
| ·时间服务模型 | 第55-56页 |
| ·离散时间、连续时间和混合时间的分析与表示 | 第56-58页 |
| ·确定性时间、随机性时间和模糊时间的分析与表示 | 第58-63页 |
| ·随机实时时序逻辑 | 第58-60页 |
| ·模糊时间Petri网 | 第60-62页 |
| ·时间自动机的织入 | 第62-63页 |
| ·时钟同步 | 第63-64页 |
| ·最坏执行时间分析 | 第64-69页 |
| ·面对对象程序的最坏执行时间分析 | 第64-66页 |
| ·面向方面的最坏执行时间分析 | 第66-69页 |
| ·实例分析 | 第69-75页 |
| ·实例简介 | 第69页 |
| ·交通信号控制系统的时间特性建模 | 第69-73页 |
| ·时间同步分析 | 第73-75页 |
| 结论 | 第75-77页 |
| 参考文献 | 第77-81页 |
| 攻读硕士学位期间发表的论文 | 第81-83页 |
| 致谢 | 第83页 |