| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-10页 |
| ·引言 | 第7页 |
| ·论文的研究背景意义和国内外研究现状 | 第7-9页 |
| ·研究背景和意义 | 第7-8页 |
| ·国内外研究现状 | 第8-9页 |
| ·论文的研究内容 | 第9-10页 |
| 第二章 SCADE环境及相关技术 | 第10-15页 |
| ·SCADE简介及设计思想概述 | 第10-11页 |
| ·SCADE导入操作符研究 | 第11-13页 |
| ·PC/104板载 CF卡的VxWORKS启动设计 | 第13-15页 |
| 第三章 基于 SCADE的机载软件的设计与研究 | 第15-30页 |
| ·SCADE设计方案研究 | 第15-16页 |
| ·方案的提出 | 第15页 |
| ·设计方案的可行性分析 | 第15-16页 |
| ·系统总体方案分析 | 第16页 |
| ·操作系统软件的功能需求分析 | 第16-18页 |
| ·系统管理软件设计与研究 | 第18页 |
| ·系统启动 | 第18页 |
| ·任务管理 | 第18页 |
| ·余度管理软件设计与研究 | 第18-29页 |
| ·三机同步 | 第20-24页 |
| ·数据采集 | 第24页 |
| ·数据交叉传输 CCDL | 第24-26页 |
| ·输入输出数据比较 | 第26-29页 |
| ·故障综合 | 第29页 |
| ·本章小结 | 第29-30页 |
| 第四章 自动代码生成研究 | 第30-45页 |
| ·方案的提出 | 第30-33页 |
| ·传统的V型开发 | 第30-31页 |
| ·SCADE的 Y型转变 | 第31-32页 |
| ·V型开发和 Y型开发比较 | 第32-33页 |
| ·可靠性和安全性分析 | 第33页 |
| ·SCADE自动代码生成研究 | 第33-44页 |
| ·传统开发方式与 SCADE开发平台 | 第33-34页 |
| ·自动代码生成研究 | 第34-40页 |
| ·代码集成 | 第40-42页 |
| ·基于 SCADE的开发平台的优缺点 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 VXWORKS设备驱动程序设计 | 第45-60页 |
| ·VxWORKS下设备驱动程序开发方法研究 | 第45-49页 |
| ·基于 VxWorks的设备驱动开发概述 | 第45-46页 |
| ·设备驱动程序的实现 | 第46-48页 |
| ·设备驱动程序框架 | 第48-49页 |
| ·网卡驱动程序开发 | 第49-52页 |
| ·PC104板载 AD、DA、DIO卡驱动程序开发 | 第52-59页 |
| ·基于 PCI设备的驱动开发 | 第53-54页 |
| ·基于 ISA设备的驱动开发 | 第54-55页 |
| ·基于 VxWorks的多串口卡驱动开发 | 第55-59页 |
| ·本章小结 | 第59-60页 |
| 第六章 软件测试与系统仿真 | 第60-71页 |
| ·单余度飞控计算机开环测试 | 第60-64页 |
| ·AD和 DA量测试 | 第60-62页 |
| ·同步测试 | 第62页 |
| ·数据交叉传输测试 | 第62-63页 |
| ·数据比较测试 | 第63页 |
| ·故障监控测试 | 第63-64页 |
| ·无故障闭环仿真 | 第64-68页 |
| ·三余度飞控计算机组成 | 第64-65页 |
| ·无故障闭环仿真 | 第65-68页 |
| ·多故障闭环仿真 | 第68-70页 |
| ·故障的注入与综合 | 第68-69页 |
| ·垂直陀螺故障仿真实验 | 第69-70页 |
| ·实验总结 | 第70-71页 |
| 结束语 | 第71-72页 |
| 参考文献 | 第72-75页 |
| 攻读硕士学位期间发表的论文 | 第75-76页 |
| 致谢 | 第76-77页 |