混合系统验证与确认集成技术研究
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-22页 |
| §1.1 课题背景 | 第12-13页 |
| §1.2 混合系统研究现状 | 第13-20页 |
| ·混合系统研究方向及最新进展 | 第13-14页 |
| ·混合系统模拟技术 | 第14-15页 |
| ·混合系统验证技术 | 第15-17页 |
| ·混合系统模拟和验证工具功能比较 | 第17-18页 |
| ·当前工具实现的主要不足 | 第18-20页 |
| §1.3 课题方案及工作 | 第20-21页 |
| §1.4 本文结构 | 第21-22页 |
| 第二章 混合系统分析设计技术 | 第22-35页 |
| §2.1 混合系统模型和性质的表示 | 第22-23页 |
| §2.2 混合系统的模拟 | 第23-25页 |
| ·分段计算的模拟过程 | 第23页 |
| ·Ptolemy对异构层次模型的模拟 | 第23-24页 |
| ·UPPAAL对基于TA系统的模拟 | 第24-25页 |
| §2.3 混合系统的验证 | 第25-33页 |
| ·基于BS划分的验证过程 | 第25-27页 |
| ·基于反例多次划分的验证过程 | 第27-28页 |
| ·验证性质的描述 | 第28-29页 |
| ·可达性判定 | 第29-31页 |
| ·验证工具实例分析 | 第31-33页 |
| §2.4 当前工具实现架构 | 第33-34页 |
| §2.5 小结 | 第34-35页 |
| 第三章 验证和确认集成平台的设计 | 第35-49页 |
| §3.1 集成平台设计总体思路 | 第35-37页 |
| ·基于统一模型的开发流程 | 第35-36页 |
| ·集成平台结构设计 | 第36-37页 |
| §3.2 功能集成 | 第37-39页 |
| ·工具整合过程分析 | 第37页 |
| ·集成功能工作流程 | 第37-38页 |
| ·对更深层次整合的探讨 | 第38-39页 |
| §3.3 模型描述的统一 | 第39-44页 |
| ·混合自动机模型 | 第39-40页 |
| ·基于组件的模型表示 | 第40-41页 |
| ·简化的组件模型 | 第41-42页 |
| ·HA模型表示结构 | 第42-43页 |
| ·模型类型比较和分析 | 第43-44页 |
| §3.4 类型表示和判定机制 | 第44-45页 |
| ·基于约束的类型表示和判别 | 第44-45页 |
| ·连续特性类型划分 | 第45页 |
| §3.5 数据格式转换 | 第45-47页 |
| ·集成平台中的数据转换 | 第45-46页 |
| ·基于元语言描述的模型导入实现 | 第46-47页 |
| ·模型转换扩充机制 | 第47页 |
| §3.6 小结 | 第47-49页 |
| 第四章 HSV~2关键技术与实现 | 第49-67页 |
| §4.1 系统实现总体思路 | 第49-50页 |
| §4.2 模型表示 | 第50-52页 |
| ·基于XML的模型描述语言定义 | 第50-51页 |
| ·模型的对象表示 | 第51-52页 |
| ·模型导入 | 第52页 |
| §4.3 功能集成 | 第52-55页 |
| ·接口实现结构 | 第53-54页 |
| ·接口注册 | 第54页 |
| ·兼容性判定 | 第54页 |
| ·参数设置过程 | 第54-55页 |
| §4.4 HA模型模拟的实现和集成 | 第55-59页 |
| ·Ptolemy Ⅱ平台分析 | 第55-56页 |
| ·模拟模型生成过程 | 第56-57页 |
| ·组件映射和参数设置 | 第57-58页 |
| ·模拟功能集成 | 第58-59页 |
| §4.5 开发环境构建 | 第59-61页 |
| ·基于Eclipse平台的工具实现架构 | 第59-60页 |
| ·HSV~2插件实现 | 第60-61页 |
| §4.6 基于集成平台的实例分析 | 第61-65页 |
| §4.7 小结 | 第65-67页 |
| 第五章 结束语 | 第67-71页 |
| §5.1 对课题研究的总结 | 第67-68页 |
| §5.2 混合系统研究热点 | 第68-69页 |
| §5.3 混合系统设计工具展望 | 第69-71页 |
| 致谢 | 第71-72页 |
| 攻读硕士期间发表的论文 | 第72-73页 |
| 附录A：攻读硕士期间参加的科研项目 | 第73-74页 |
| 参考文献 | 第74-77页 |
