| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第1章 绪论 | 第8-13页 |
| ·课题背景 | 第8-9页 |
| ·微内核技术 | 第8页 |
| ·虚拟化技术 | 第8-9页 |
| ·电子对抗系统 | 第9页 |
| ·基于微内核虚拟化技术的高可靠性嵌入式软件平台概述 | 第9-11页 |
| ·总体架构 | 第9-10页 |
| ·该架构在电子对抗系统中的模拟应用 | 第10-11页 |
| ·本章小结 | 第11-13页 |
| 第2章 嵌入式软件平台技术的发展和现状 | 第13-23页 |
| ·嵌入式系统与嵌入式软件平台 | 第13-15页 |
| ·嵌入式系统 | 第13-14页 |
| ·嵌入式软件平台 | 第14-15页 |
| ·主流嵌入式软件平台方案 | 第15-19页 |
| ·主流嵌入式软实时操作系统 | 第16-17页 |
| ·主流实时操作系统 | 第17-19页 |
| ·嵌入式软件平台技术的发展和未来 | 第19-23页 |
| ·软实时、硬实时操作系统的融合和改造 | 第19-21页 |
| ·虚拟化技术 | 第21-23页 |
| 第3章 微内核虚拟化技术的技术特点 | 第23-33页 |
| ·微内核技术 | 第23-28页 |
| ·单核结构操作系统与微内核结构操作系统 | 第23-25页 |
| ·微内核技术的发展与现状 | 第25-28页 |
| ·虚拟化技术 | 第28-31页 |
| ·虚拟化技术简介 | 第28-29页 |
| ·几种主流的虚拟化技术 | 第29-31页 |
| ·微内核虚拟化的技术优势 | 第31-33页 |
| 第4章 基于微内核虚拟化的高可靠性嵌入式软件平台 | 第33-39页 |
| ·传统嵌入式平台提高可靠性的方式 | 第33-34页 |
| ·采用高可靠性实时操作系统，科学设计、严格测试 | 第33页 |
| ·通过硬件冗余提高电子装设备可靠性 | 第33-34页 |
| ·基于微内核虚拟化技术的高可靠性嵌入式软件平台 | 第34-35页 |
| ·电子对抗系统模型 | 第35-37页 |
| ·架构在电子对抗系统中的模拟应用 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第5章 基于微内核虚拟化技术的高可靠性嵌入式软件平台的模拟实现 | 第39-55页 |
| ·L4微内核的选型 | 第39-41页 |
| ·主流L4微内核系统 | 第39-41页 |
| ·微内核虚拟化的实现 | 第41-48页 |
| ·模拟实现的软硬件环境 | 第41-42页 |
| ·交叉编译工具链的准备 | 第42页 |
| ·SKYEYE模拟器的安装 | 第42页 |
| ·基于微内核的双GUESTOS的实现 | 第42-48页 |
| ·电子对抗系统的改造 | 第48-54页 |
| ·原始系统对象用例图 | 第48页 |
| ·经过改造的系统 | 第48-50页 |
| ·模拟信号发生器 | 第50-51页 |
| ·信号识别/威胁判定 | 第51-53页 |
| ·状态监控通知模块 | 第53-54页 |
| ·故障判断修复模块 | 第54页 |
| ·本章小结 | 第54-55页 |
| 第6章 总结 | 第55-57页 |
| ·基于微内核虚拟化提高系统可靠性是一种可行的方案 | 第55页 |
| ·高可靠性平台进一步完善和实用化需要做的工作 | 第55-57页 |
| ·L4微内核代码的审查和安全性证明 | 第56页 |
| ·主流实时操作系统的移植 | 第56-57页 |
| 参考文献 | 第57-58页 |
| 致谢 | 第58页 |