| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 第一章 绪论 | 第6-12页 |
| ·嵌入式系统 | 第6-7页 |
| ·基于模型的设计 | 第7-10页 |
| ·研究对象：基于模型的代码自动生成 | 第10-12页 |
| 第二章 背景技术介绍 | 第12-23页 |
| ·通用建模环境GME | 第12-15页 |
| ·Sundials 数学代码包 | 第15-16页 |
| ·多核技术及并行计算 | 第16-23页 |
| ·并行计算的原理 | 第16-17页 |
| ·多核技术 | 第17-18页 |
| ·并行编程模型 | 第18-20页 |
| ·MPI 及其在多核平台上的运用 | 第20-23页 |
| 第三章 ReachLab 计算平台的相关技术及扩展 | 第23-30页 |
| ·ReachLab 计算平台的整体介绍 | 第23-25页 |
| ·特定域建模语言(DSML)的作用 | 第25页 |
| ·混合系统分析和设计语言(HADL)的作用 | 第25-26页 |
| ·可达性分析和可达集的计算 | 第26-27页 |
| ·水平集方法及其扩展思路 | 第27-30页 |
| 第四章 ReachLab 自动代码生成器的设计 | 第30-42页 |
| ·ReachLab 中HADL 的语法和语义分析 | 第30-35页 |
| ·基于Sundials 的并行水平集内核 | 第35-37页 |
| ·代码生成器的具体设计 | 第37-42页 |
| 第五章 实例与分析 | 第42-48页 |
| ·实例计算 | 第42-46页 |
| ·飞机自动转弯控制器 | 第42-44页 |
| ·飞机自动上升控制器 | 第44-46页 |
| ·结果分析 | 第46-48页 |
| 第六章 结语 | 第48-49页 |
| 参考文献 | 第49-52页 |
| 致谢 | 第52页 |