实时系统防危技术研究与实现
| 第一章 绪论 | 第1-16页 |
| ·概述 | 第10-11页 |
| ·实时系统及其防危性 | 第11-13页 |
| ·研究目的和意义 | 第13页 |
| ·本论文的来源和完成的主要工作 | 第13-14页 |
| ·本文的章节安排 | 第14-16页 |
| 第二章 实时系统及其防危技术 | 第16-31页 |
| ·实时系统 | 第16-21页 |
| ·实时系统的组成及其特点 | 第16-17页 |
| ·实时系统的体系结构 | 第17-18页 |
| ·实时操作系统 | 第18-21页 |
| ·实时系统防危技术 | 第21-30页 |
| ·防危性与可靠性、安全性之间的异同 | 第21-24页 |
| ·现有的应用级防危技术 | 第24-27页 |
| ·现有的操作系统级防危技术 | 第27-30页 |
| ·本章小节 | 第30-31页 |
| 第三章 基于反射技术的防危核 | 第31-59页 |
| ·反射的基本概念 | 第31-32页 |
| ·实时系统中的多层反射塔 | 第32-36页 |
| ·多层反射塔的原理 | 第32-34页 |
| ·分层反射塔的伪代码实现 | 第34-35页 |
| ·分层反射塔的优势和缺陷 | 第35-36页 |
| ·防危核结构分析 | 第36-38页 |
| ·通用性需求 | 第36-37页 |
| ·可替换策略的防危核结构 | 第37-38页 |
| ·防危核的设计及在CRTOS II 上的实现 | 第38-50页 |
| ·总体结构 | 第38-40页 |
| ·防危代理 | 第40-43页 |
| ·防危验证模块 | 第43-45页 |
| ·防危策略数据 | 第45页 |
| ·防危审计模块 | 第45-50页 |
| ·防危核示例 | 第50-54页 |
| ·交通灯原型 | 第50-53页 |
| ·核反应堆控制原型 | 第53-54页 |
| ·测试结果 | 第54-58页 |
| ·测试环境 | 第54-55页 |
| ·功能测试 | 第55-57页 |
| ·时间开销 | 第57-58页 |
| ·空间开销 | 第58页 |
| ·本章小节 | 第58-59页 |
| 第四章 空间隔离与时间隔离保护机制 | 第59-93页 |
| ·实时系统空间隔离与时间隔离的必要性 | 第59-60页 |
| ·空间隔离与时间隔离机制的研究现状 | 第60-65页 |
| ·空间隔离内存保护的现状 | 第60-64页 |
| ·时间隔离保护机制的现状 | 第64-65页 |
| ·空间隔离内存保护方法 | 第65-68页 |
| ·空间隔离保护在 CRTOS Ⅱ中的实现 | 第68-77页 |
| ·总体结构分析 | 第68-69页 |
| ·空间隔离内存保护的实现 | 第69-77页 |
| ·时间隔离保护机制 | 第77-82页 |
| ·基于两级结构化调度机制的时间隔离模型 | 第78-79页 |
| ·两级结构化调度模型的实现 | 第79页 |
| ·子系统服务器能力及周期的确定 | 第79-81页 |
| ·隔离保护区时间片大小的确定 | 第81-82页 |
| ·时间隔离保护机制在CRTOS II 上的实现 | 第82-88页 |
| ·总体设计 | 第82-85页 |
| ·具体实现 | 第85-88页 |
| ·时空隔离保护机制的原型 | 第88-89页 |
| ·时空隔离保护机制的性能测评 | 第89-92页 |
| ·空间隔离保护机制性能测评 | 第90-91页 |
| ·时间隔离保护机制性能测评 | 第91-92页 |
| ·本章小节 | 第92-93页 |
| 第五章 延迟合并伙伴系统存储管理机制 | 第93-110页 |
| ·实时操作系统内存管理需求分析 | 第93-95页 |
| ·现有的内存管理算法 | 第95-96页 |
| ·延迟合并伙伴系统存储管理机制 | 第96-109页 |
| ·对实时性的考虑 | 第96-97页 |
| ·伙伴系统内存管理算法 | 第97-103页 |
| ·重要的改进机制 | 第103-106页 |
| ·算法描述 | 第106-108页 |
| ·试验结果 | 第108-109页 |
| ·本章小节 | 第109-110页 |
| 第六章 结束语 | 第110-112页 |
| 参考文献 | 第112-115页 |
| 致谢 | 第115-116页 |
| 个人简历及在学期间的研究成果 | 第116页 |
