| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 引言 | 第7-12页 |
| ·嵌入式系统 | 第7页 |
| ·基于模型的设计 | 第7-10页 |
| ·研究对象：基于模型的软件工具链 | 第10页 |
| ·论文内容安排 | 第10-12页 |
| 第二章 背景技术介绍 | 第12-25页 |
| ·基于模型的软件工具 | 第12-20页 |
| ·通用建模环境GME | 第12-14页 |
| ·图式模型转换工具GReAT | 第14-16页 |
| ·混合系统计算平台ReachLab | 第16-17页 |
| ·SIMULINK | 第17-18页 |
| ·Ptolemy II | 第18-20页 |
| ·特定领域建模语言DSML | 第20-22页 |
| ·语义锁定 | 第22-25页 |
| 第三章 混合系统设计软件工具链 | 第25-41页 |
| ·混合系统设计软件工具链 | 第25-27页 |
| ·混合自动机(HA) | 第27-28页 |
| ·DSML 元模型 | 第28-32页 |
| ·DSML 之间模型转换器：T_(SL2HA)、T_(HA2RL) | 第32-35页 |
| ·模型翻译器 | 第35-37页 |
| ·混合系统实例 | 第37-39页 |
| ·飞机控制器模型在嵌入式软件工具链中模型转换 | 第38页 |
| ·飞机控制器模型转换转为Ptolemy II 模型 | 第38-39页 |
| ·本章小结 | 第39-41页 |
| 第四章 滤波器设计工具链 | 第41-46页 |
| ·滤波器设计具链 | 第41-43页 |
| ·模型翻译器SFunc Interpreter | 第43页 |
| ·Cascade 滤波器设计 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 第五章 结语 | 第46-48页 |
| ·结论 | 第46-47页 |
| ·展望 | 第47-48页 |
| 参考文献 | 第48-51页 |
| 附录 | 第51-59页 |
| 附录1 MoML 的语法描述文件DTD 文件 | 第51-54页 |
| 附录2 Cascade 类型滤波器模型自动生成的C 语言S-Function 程序 | 第54-59页 |
| 致谢 | 第59页 |
