面向安全关键的虚拟化与分区操作系统研究与实现
| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 第一章 绪论 | 第9-19页 |
| ·计算机操作系统 | 第9-12页 |
| ·研究动机 | 第12-17页 |
| ·主要工作 | 第17-19页 |
| 第二章 嵌入式安全关键系统 | 第19-25页 |
| ·嵌入式系统 | 第19-21页 |
| ·嵌入式安全关键系统 | 第21-25页 |
| 第三章 虚拟化技术与分区操作系统 | 第25-49页 |
| ·面向嵌入式系统的虚拟化 | 第25-39页 |
| ·虚拟化概述 | 第25-34页 |
| ·嵌入式系统与虚拟化 | 第34-39页 |
| ·分区操作系统 | 第39-49页 |
| ·MILS | 第40-41页 |
| ·ARINC 653 | 第41-44页 |
| ·PikeOS | 第44-45页 |
| ·ADEOS | 第45-46页 |
| ·其它实例 | 第46-49页 |
| 第四章 实例研究 | 第49-92页 |
| ·基于PowerPC的嵌入式分区操作系统 | 第49-72页 |
| ·XtratuM概述 | 第49-53页 |
| ·PowerPC概述 | 第53页 |
| ·相关工作 | 第53-55页 |
| ·XtratuM/PPC | 第55-67页 |
| ·系统评测 | 第67-71页 |
| ·小结 | 第71-72页 |
| ·基于Cell SPU的嵌入式安全关键系统 | 第72-80页 |
| ·IEC 61508安全标准 | 第72-74页 |
| ·Cell概述 | 第74-75页 |
| ·相关工作 | 第75页 |
| ·系统架构与实现 | 第75-80页 |
| ·小结 | 第80页 |
| ·基于虚拟化的嵌入式协作学习环境和安全关键系统 | 第80-92页 |
| ·相关工作 | 第80-81页 |
| ·系统设计 | 第81-83页 |
| ·系统实现 | 第83-89页 |
| ·在实训教学中的应用与评估 | 第89-91页 |
| ·小结 | 第91-92页 |
| 第五章 结论与展望 | 第92-94页 |
| 参考文献 | 第94-110页 |
| 博士生期间的的工作总结 | 第110-113页 |
| 致谢 | 第113页 |
