基于CPS的实时系统的面向方面的形式化方法
| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-13页 |
| 第一章 绪论 | 第13-19页 |
| ·课题的背景及意义 | 第13-15页 |
| ·课题研究国内外动态 | 第15-16页 |
| ·课题研究主要内容及组织形式 | 第16-19页 |
| ·课题研究主要内容 | 第16-17页 |
| ·课题研究组织形式 | 第17-19页 |
| 第二章 相关知识及技术 | 第19-31页 |
| ·Cyber Physical网络环境概述 | 第19-22页 |
| ·Cyber Physical特性分析 | 第19-20页 |
| ·Cyber Physical模型分析 | 第20-21页 |
| ·Cyber Physical语义分析 | 第21-22页 |
| ·面向方面技术 | 第22-26页 |
| ·面向方面技术提出 | 第22页 |
| ·面向方面实现原理 | 第22-25页 |
| ·面向方面框架简介 | 第25-26页 |
| ·实时系统 | 第26-30页 |
| ·实时系统定义及特征 | 第26-27页 |
| ·实时系统基本类型 | 第27-28页 |
| ·实时系统控制结构 | 第28页 |
| ·实时系统形式化建模方法 | 第28-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 形式化方法理论与框架 | 第31-43页 |
| ·形式化方法概述 | 第31-32页 |
| ·形式化方法框架 | 第32-35页 |
| ·形式化方法框架模型 | 第33-34页 |
| ·形式化方法框架组件 | 第34-35页 |
| ·面向对象Object-Z语言形式化方法 | 第35-40页 |
| ·Object-Z形式化语言概述 | 第35-36页 |
| ·Object-Z形式语言语法 | 第36-37页 |
| ·Object-Z形式语言语义 | 第37-40页 |
| ·实时Timed-CSP语言形式化方法 | 第40-42页 |
| ·Timed-CSP形式语言概述 | 第40页 |
| ·Timed-CSP基本规约语法 | 第40-42页 |
| ·本章小结 | 第42-43页 |
| 第四章 形式化方法扩展 | 第43-55页 |
| ·基于Object-Z面向方面形式化方法扩展 | 第43-48页 |
| ·方面架构设计 | 第44页 |
| ·方面形式化方法 | 第44-46页 |
| ·方面形式化织入方法 | 第46-47页 |
| ·方面形式化方法实例分析 | 第47-48页 |
| ·基于Timed-CSP实时形式化方法扩展 | 第48-51页 |
| ·实时时间服务模型 | 第48-49页 |
| ·实时时间方面模型 | 第49页 |
| ·实时时间方面形式化方法 | 第49-51页 |
| ·实时时间方面形式化织入方法 | 第51页 |
| ·基于CPS通信形式化方法 | 第51-53页 |
| ·CPS网络通信体系结构 | 第51-52页 |
| ·CPS网络通信形式化方法 | 第52-53页 |
| ·本章小结 | 第53-55页 |
| 第五章 形式化方法建模过程及实例应用研究 | 第55-73页 |
| ·智能交通系统概述 | 第55-56页 |
| ·形式化方法建模过程 | 第56-58页 |
| ·列车调度系统实例建模 | 第58-64页 |
| ·列车调度系统基本通信模型 | 第58-60页 |
| ·列车调度系统十字路口模型 | 第60-62页 |
| ·列车调度系统时间方面模型 | 第62-64页 |
| ·基于Object-Z列车基本模型形式化方法 | 第64-66页 |
| ·基于方面的列车调度系统形式化方法 | 第66-70页 |
| ·路口调度方面形式化方法 | 第66-68页 |
| ·时间方面形式化方法 | 第68-69页 |
| ·日志方面形式化方法 | 第69-70页 |
| ·形式化方面织入 | 第70-71页 |
| ·本章小结 | 第71-73页 |
| 总结与展望 | 第73-75页 |
| 参考文献 | 第75-81页 |
| 攻读学位期间发表的论文 | 第81-85页 |
| 致谢 | 第85页 |
