| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-15页 |
| ·引言 | 第7-8页 |
| ·本文研究的背景 | 第8-12页 |
| ·国内外研究进展情况 | 第12-14页 |
| ·本文的研究内容 | 第14-15页 |
| 第二章 SCADE软件开发环境介绍 | 第15-29页 |
| ·SCADE基于模型的软件建模开发过程 | 第15-22页 |
| ·软件模型验证 | 第22-25页 |
| ·自动代码生成 | 第25-26页 |
| ·SCADE其他功能 | 第26-27页 |
| ·SCADE与DO-1788标准 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 无人机飞行控制软件总体需求分析 | 第29-33页 |
| ·飞行控制系统组成 | 第29页 |
| ·飞行控制软件功能 | 第29-31页 |
| ·飞行控制软件总体调度框架 | 第31-32页 |
| ·基于SCADE飞行控制软件设计分析 | 第32页 |
| ·本章小结 | 第32-33页 |
| 第四章 SCADE在无人机飞行控制软件设计中的应用研究 | 第33-65页 |
| ·无人机飞行控制软件设计研究 | 第33-57页 |
| ·无人机飞行控制软件验证研究 | 第57-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 SCADE代码自动生成与软件集成 | 第65-69页 |
| ·生成代码配置与代码集成 | 第65-67页 |
| ·生成代码的安全性测试 | 第67-68页 |
| ·本章小结 | 第68-69页 |
| 第六章 半物理仿真试验验证 | 第69-75页 |
| ·半物理仿真试验环境 | 第69-70页 |
| ·仿真试验步骤 | 第70页 |
| ·仿真试验结果 | 第70-74页 |
| ·本章小结 | 第74-75页 |
| 第七章 结束语 | 第75-77页 |
| ·总结 | 第75-76页 |
| ·后续工作 | 第76-77页 |
| 致谢 | 第77-78页 |
| 参考文献 | 第78-80页 |
| 研究成果 | 第80-81页 |