| 摘要 | 第1-4页 |
| Abstract | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-13页 |
| ·背景与意义 | 第7-9页 |
| ·研究现状 | 第9-10页 |
| ·本文工作 | 第10-11页 |
| ·章节安排 | 第11-13页 |
| 第二章 面向航空电子的 MILS 安全体系结构研究 | 第13-23页 |
| ·基于 MILS 的综合化航空电子系统安全体系结构 | 第13-15页 |
| ·分区内核层 | 第15-19页 |
| ·内核的分类 | 第16页 |
| ·分区内核的安全策略 | 第16-17页 |
| ·分区内核的时空隔离特性 | 第17-18页 |
| ·分区内核的特点 | 第18-19页 |
| ·中间件层 | 第19-20页 |
| ·中间件层提供的服务 | 第19页 |
| ·分区间通信系统 | 第19-20页 |
| ·应用层 | 第20-21页 |
| ·MILS 硬件支持 | 第21页 |
| ·小结 | 第21-23页 |
| 第三章 TRAP 系统调用机制设计及内核接口总体设计 | 第23-39页 |
| ·T RAP 系统调用机制设计 | 第23-28页 |
| ·内核重要性能指标分析 | 第23页 |
| ·隔离保护机制的分类 | 第23-24页 |
| ·传统 TRAP 系统调用机制研究 | 第24-25页 |
| ·分区内核的 TRAP 系统调用机制设计 | 第25-28页 |
| ·内核接口总体设计 | 第28-37页 |
| ·分区内核需求分析 | 第29-30页 |
| ·分区内核结构设计 | 第30-33页 |
| ·分区内核接口设计 | 第33-37页 |
| ·小结 | 第37-39页 |
| 第四章 动态分区调度算法设计 | 第39-57页 |
| ·动态分区调度的意义 | 第39-40页 |
| ·基于滚动时间窗的动态分区调度算法设计 | 第40-49页 |
| ·动态分区调度算法原理 | 第41-42页 |
| ·滚动时间窗算法设计 | 第42-45页 |
| ·动态分区调度算法设计 | 第45-49页 |
| ·动态分区调度的设计 | 第49-53页 |
| ·时间分区的数据结构设计 | 第49-50页 |
| ·CP U 占用情况统计流程 | 第50页 |
| ·动态分区调度流程 | 第50-53页 |
| ·仿真及结果分析 | 第53-55页 |
| ·小结 | 第55-57页 |
| 第五章 基于分区内核的共享内存访问建模 | 第57-63页 |
| ·空间隔离安全性研究 | 第57-58页 |
| ·MILS 架构下实现分区间通信的技术难点分析 | 第58-59页 |
| ·基于分区内核的共享内存访问模型建立 | 第59-61页 |
| ·共享内存访问基本原理研究 | 第59页 |
| ·MILS 架构下实现共享内存访问的特殊要求分析 | 第59-60页 |
| ·共享内存访问模型建立 | 第60-61页 |
| ·一种优化的消息结构设计 | 第61页 |
| ·小结 | 第61-63页 |
| 第六章 结束语 | 第63-65页 |
| ·总结 | 第63-64页 |
| ·展望 | 第64-65页 |
| 致谢 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 研究成果 | 第71-72页 |
