| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 引言 | 第11-21页 |
| ·课题简介 | 第11-12页 |
| ·国内外发展现状与趋势 | 第12-16页 |
| ·嵌入式软件建模及其发展历程 | 第12-14页 |
| ·基于模型的验证技术及其研究历程 | 第14-16页 |
| ·课题主要研究内容 | 第16-19页 |
| ·主要研究内容 | 第17-18页 |
| ·拟解决的技术难点 | 第18-19页 |
| ·预期达到的目标 | 第19页 |
| ·主要技术指标 | 第19页 |
| ·论文综述 | 第19-20页 |
| ·论文结构 | 第20-21页 |
| 第二章 相关技术分析 | 第21-36页 |
| ·模型级开发的相关技术 | 第21-30页 |
| ·模型驱动体系架构MDA | 第21-22页 |
| ·航空标准：体系结构分析设计语言（AADL） | 第22-24页 |
| ·AADL 语言的相关分析 | 第24-29页 |
| ·OSATE 工具的相关分析 | 第29-30页 |
| ·嵌入式开发的相关技术 | 第30-35页 |
| ·嵌入式实时操作系统 | 第31页 |
| ·LambdaPro 集成开发环境 | 第31-32页 |
| ·基于Matlab/Simulink 环境的系统开发模式 | 第32-35页 |
| ·本章小结 | 第35-36页 |
| 第三章 总体设计 | 第36-40页 |
| ·嵌入式软件开发现状 | 第36页 |
| ·系统模型 | 第36-39页 |
| ·系统结构 | 第36-38页 |
| ·系统用况分析 | 第38-39页 |
| ·系统实现功能目标 | 第39页 |
| ·本章小结 | 第39-40页 |
| 第四章 UcaG 代码生成模块的设计与实现 | 第40-54页 |
| ·UcaG 的总体设计 | 第40-42页 |
| ·设计要点 | 第40-41页 |
| ·模块结构 | 第41-42页 |
| ·系统运行说明 | 第42页 |
| ·子模块的设计与实现 | 第42-52页 |
| ·模型解析模块的设计与实现 | 第42-46页 |
| ·规则应用模块设计与实现 | 第46-52页 |
| ·用户界面 | 第52-53页 |
| ·UcaG 代码生成工具的展望 | 第53页 |
| ·本章小结 | 第53-54页 |
| 第五章 UcaS 调度分析模块的简介 | 第54-61页 |
| ·UcaS 的总体设计 | 第54-57页 |
| ·软件体系结构和设计原理 | 第54-56页 |
| ·系统状态和模式 | 第56-57页 |
| ·系统运行说明 | 第57页 |
| ·各模块简介 | 第57-60页 |
| ·数据采集模块 | 第57-58页 |
| ·调度分析模块 | 第58页 |
| ·系统仿真模块 | 第58-59页 |
| ·事件产生模块 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 第六章 LambdaMDE 开发环境的实现 | 第61-73页 |
| ·开发方式 | 第61页 |
| ·技术方案 | 第61页 |
| ·各个功能模块的实现 | 第61-72页 |
| ·LambdaMDE 工程模块的实现 | 第61-64页 |
| ·OSATE 模块的实现 | 第64-66页 |
| ·Simulink 模块的实现 | 第66-70页 |
| ·MATE 测试模块的实现 | 第70-72页 |
| ·同步调试模块的实现 | 第72页 |
| ·LambdaMDE 插件工程打包生成Eclipse 产品 | 第72页 |
| ·本章小结 | 第72-73页 |
| 第七章 测试 | 第73-82页 |
| ·测试模型 | 第73页 |
| ·各个模块的基本功能测试 | 第73-79页 |
| ·LambdaMDE 工程模块功能测试 | 第73-74页 |
| ·OSATE 模块功能测试 | 第74-76页 |
| ·Simulink 模块功能测试 | 第76-78页 |
| ·MATE 测试模块功能测试 | 第78-79页 |
| ·同步调试模块的功能测试 | 第79页 |
| ·功能测试结果 | 第79-80页 |
| ·性能测试结果 | 第80页 |
| ·测试总结 | 第80-82页 |
| ·功能测试结果分析 | 第80页 |
| ·性能测试结果分析 | 第80-81页 |
| ·开发环境测试结果分析 | 第81-82页 |
| 第八章 总结 | 第82-84页 |
| ·课题总结 | 第82页 |
| ·课题特点 | 第82-83页 |
| ·本课题的主要创新点 | 第82页 |
| ·本课题的具体特点 | 第82-83页 |
| ·不足与展望 | 第83-84页 |
| ·不足 | 第83页 |
| ·后续工作 | 第83-84页 |
| 致谢 | 第84-85页 |
| 参考文献 | 第85-89页 |
| 攻读硕士期间取得的研究成果 | 第89-90页 |