文摘
英文文摘
论文说明：图表目录
第1章 绪论
1.1 课题背景
1.1.1 微内核技术
1.1.2 虚拟化技术
1.1.3 电子对抗系统
1.2 基于微内核虚拟化技术的高可靠性嵌入式软件平台概述
1.2.1 总体架构
1.2.2 该架构在电子对抗系统中的模拟应用
1.3 本章小结
第2章 嵌入式软件平台技术的发展和现状
2.1 嵌入式系统与嵌入式软件平台
2.1.1 嵌入式系统
2.1.2 嵌入式软件平台
2.2 主流嵌入式软件平台方案
2.2.1 主流嵌入式软实时操作系统
2.2.2 主流实时操作系统
2.3 嵌入式软件平台技术的发展和未来
2.3.1 软实时、硬实时操作系统的融合和改造。
2.3.2 虚拟化技术
第3章 微内核虚拟化技术的技术特点
3.1 微内核技术
3.1.1 单核结构操作系统与微内核结构操作系统
3.1.2 微内核技术的发展与现状
3.2 虚拟化技术
3.2.1 虚拟化技术简介
3.2.2 几种主流的虚拟化技术
3.3 微内核虚拟化的技术优势
第4章 基于微内核虚拟化的高可靠性嵌入式软件平台
4.1 传统嵌入式平台提高可靠性的方式
4.1.1 采用高可靠性实时操作系统，科学设计、严格测试
4.1.2 通过硬件冗余提高电子装设备可靠性
4.2 基于微内核虚拟化技术的高可靠性嵌入式软件平台
4.3 电子对抗系统模型
4.4 架构在电子对抗系统中的模拟应用
4.5 本章小结
第5章 基于微内核虚拟化技术的高可靠性嵌入式软件平台的模拟实现
5.1 L4微内核的选型
5.1.1 主流L4微内核系统
5.2 微内核虚拟化的实现
5.2.1 模拟实现的软硬件环境
5.2.2 交叉编译工具链的准备
5.2.3 SKYEYE模拟器的安装
5.2.4 基于微内核的双GUESTOS的实现
5.3 电子对抗系统的改造
5.3.1 原始系统对象用例图
5.3.2 经过改造的系统
5.3.3 模拟信号发生器
5.3.4 信号识别/威胁判定
5.3.5 状态监控通知模块
5.3.6 故障判断修复模块
5.4 本章小结
第6章 总结
6.1 基于微内核虚拟化提高系统可靠性是一种可行的方案
6.2 高可靠性平台进一步完善和实用化需要做的工作
6.2.1 L4微内核代码的审查和安全性证明
6.2.2 主流实时操作系统的移植
参考文献
致谢
