| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 绪论 | 第8-16页 |
| ·航空发动机FADEC系统的发展 | 第8-9页 |
| ·研究背景和选题依据 | 第9-15页 |
| ·研究背景 | 第9-10页 |
| ·目前国外的研究现状 | 第10-12页 |
| ·国内相关技术的研究现状 | 第12-13页 |
| ·选题依据 | 第13-15页 |
| ·研究工作的技术路线 | 第15-16页 |
| 第二章 FADEC系统软件非相似技术容错结构设计 | 第16-25页 |
| ·国内正在研制中的X型FADEC系统软件的功能组成 | 第16页 |
| ·FADEC系统中软件的故障、失效和错误 | 第16-23页 |
| ·软件故障、失效、错误的概念 | 第16-17页 |
| ·软件故障的性质 | 第17-18页 |
| ·软件错误的分类 | 第18-21页 |
| ·常见的FADEC系统的软件故障 | 第21-22页 |
| ·FADEC系统软件故障分析 | 第22-23页 |
| ·FADEC系统软件非相似技术容错结构设计 | 第23-24页 |
| ·论文结构说明 | 第24-25页 |
| 第三章 非相似嵌入式RTOS的选择和初步使用 | 第25-35页 |
| ·非相似嵌入式RTOS的选择 | 第25-30页 |
| ·RT-Linux | 第25-28页 |
| ·TornadoⅡ／VxWorks | 第28-30页 |
| ·RT-Linux的初步使用 | 第30-32页 |
| ·RT-Linux的API | 第30-31页 |
| ·RT-Linux任务调度器的改写 | 第31-32页 |
| ·TornadoⅡ／VxWorks的初步使用 | 第32-35页 |
| ·TornadoⅡ/VxWorks内核中的任务调度器 | 第32-33页 |
| ·TornadoⅡ／VxWorks的时钟管理 | 第33页 |
| ·TornadoⅡ／VxWorks的看门狗定时器 | 第33-34页 |
| ·TornadoⅡ／VxWorks的Ada支持配置 | 第34-35页 |
| 第四章 FADEC系统双机同步技术研究 | 第35-50页 |
| ·双机时钟级同步设计 | 第35-41页 |
| ·时钟同步概念 | 第35-36页 |
| ·时钟同步定义 | 第36-38页 |
| ·时钟同步方法 | 第38-39页 |
| ·时钟同步算法设计 | 第39-41页 |
| ·双机控制软件任务级同步设计 | 第41-50页 |
| ·控制软件任务级同步原理 | 第41-42页 |
| ·基于系统调用的任务级同步原理 | 第42-43页 |
| ·基于系统调用任务级同步的关键技术 | 第43-47页 |
| ·同步的效率分析 | 第47-50页 |
| 第五章 适用于FADEC的实时调度算法研究 | 第50-61页 |
| ·实时调度的基本概念 | 第50-51页 |
| ·基于优先级的实时调度的分类 | 第51-55页 |
| ·单处理器静态硬实时调度算法 | 第55-59页 |
| ·单调比率调度(RMS) | 第56-57页 |
| ·单调时限调度(DMS) | 第57-59页 |
| ·单处理器动态硬实时调度算法 | 第59-61页 |
| 第六章 适用于FADEC的容错实时调度算法研究 | 第61-78页 |
| ·基本概念 | 第61-65页 |
| ·时间冗余 | 第61-62页 |
| ·容错实时调度 | 第62-64页 |
| ·容错实时调度的分类 | 第64-65页 |
| ·周期任务集的单处理器容错实时调度算法 | 第65-69页 |
| ·PRA和CRA | 第65-67页 |
| ·FTRM算法 | 第67-69页 |
| ·非周期任务集的单处理器容错实时调度 | 第69-72页 |
| ·FSP算法 | 第70页 |
| ·LTH算法 | 第70-71页 |
| ·RED算法 | 第71-72页 |
| ·非精确计算 | 第72-74页 |
| ·ABA算法 | 第73-74页 |
| ·FT-Optimal算法 | 第74页 |
| ·FT-EDF算法 | 第74-78页 |
| ·系统模型 | 第75页 |
| ·时间容错策略和调度算法 | 第75-78页 |
| 第七章 程序级容错设计 | 第78-94页 |
| ·软件容错设计技术 | 第78-81页 |
| ·N版本编程(N-Version Programming) | 第78-79页 |
| ·恢复块方法(Recovery-Block) | 第79-81页 |
| ·采用Ada语言进行程序级容错设计 | 第81-85页 |
| ·Ada、C／C++语言介绍 | 第82-83页 |
| ·Ada、C／C++语言性能分析比较 | 第83-85页 |
| ·Ada语言对程序级容错设计的支持 | 第85-90页 |
| ·Ada的模块化设计技术 | 第85-86页 |
| ·Ada的自检测能力 | 第86-87页 |
| ·Ada的保护措施 | 第87-88页 |
| ·异常处理(exception handling) | 第88-90页 |
| ·Ada95 N版本编程举例 | 第90页 |
| ·Ada95的开发系统 | 第90-94页 |
| ·GPS介绍 | 第91页 |
| ·GPS系统附带的工具 | 第91-92页 |
| ·GPS系统界面 | 第92-94页 |
| 第八章 余度管理技术 | 第94-99页 |
| ·余度管理 | 第94-95页 |
| ·软件表决技术 | 第95-99页 |
| ·软件表决系统的构成 | 第95-97页 |
| ·表决系统中同步问题的解决 | 第97页 |
| ·表决操作 | 第97-99页 |
| 第九章 总结 | 第99-101页 |
| ·本文的研究工作及研究结论 | 第99-100页 |
| ·需要进一步开展的研究工作 | 第100-101页 |
| 致谢 | 第101-102页 |
| 参考文献 | 第102-108页 |
