| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第1章 引言 | 第8-14页 |
| ·研究背景 | 第8-12页 |
| ·研究内容 | 第12页 |
| ·论文结构 | 第12-14页 |
| 第2章 背景 | 第14-32页 |
| ·嵌入式系统开发工具 | 第14-15页 |
| ·混合自动机 | 第15-17页 |
| ·模型集成运算架构 | 第17-22页 |
| ·基于模型集成运算的应用实例 | 第22-28页 |
| ·ECSL_DP | 第22-26页 |
| ·ReachLab | 第26-28页 |
| ·语义锁定 | 第28-30页 |
| ·模型转换正确性 | 第30-32页 |
| ·带标记的迁移系统 | 第30-31页 |
| ·互模拟关系 | 第31-32页 |
| 第3章 基于模型的软件工具链 | 第32-46页 |
| ·混合嵌入式系统软件工具链架构 | 第32-33页 |
| ·通用语义单元CME | 第33-35页 |
| ·模型转换规则簇 | 第35-46页 |
| ·ECSL DP2CME转换规则簇 | 第35-40页 |
| ·CME2ReachLab转换规则簇 | 第40-46页 |
| 第4章 检验模型转换正确性的框架 | 第46-58页 |
| ·结构一致性检验框架 | 第46-55页 |
| ·框架介绍 | 第46-48页 |
| ·用cross-link检验结构一致性 | 第48-50页 |
| ·遍历代码的产生 | 第50-55页 |
| ·使用互模拟检验模型转换规则的正确性 | 第55-58页 |
| ·互模拟关系的算法伪代码 | 第55-58页 |
| 第5章 建模及分析实例 | 第58-73页 |
| ·电力暂态系统模型 | 第58-61页 |
| ·软件工具链对电力暂态系统动态特性进行建模 | 第61-64页 |
| ·检验模型转换规则簇实例对系统模型执行是否正确 | 第64-66页 |
| ·Box、Diamond算法对系统模型稳定区域进行分析 | 第66-70页 |
| ·后向可达集算法对系统模型可达集进行分析 | 第70-73页 |
| 第6章 结论 | 第73-74页 |
| 参考文献 | 第74-79页 |
| 附录 | 第79-82页 |
| 附录一 ReachLab算法控制模块元模型 | 第79-80页 |
| 附录二 分析电力暂态系统连续状态模型的Box算法代码 | 第80-81页 |
| 附录三 分析电力暂态系统连续状态模型的Diamond算法代码 | 第81-82页 |
| 致谢 | 第82-83页 |
| 发表论文情况 | 第83页 |
