高可靠容错实时系统的支撑技术研究
| 第一章 绪论 | 第1-20页 |
| 1．1 概述 | 第12-13页 |
| 1．2 实时系统 | 第13-14页 |
| 1．3 实时系统可靠性 | 第14-15页 |
| 1．4 容错系统 | 第15-16页 |
| 1．5 研究动机 | 第16-17页 |
| 1．6 主要工作 | 第17-18页 |
| 1．7 本文的组织 | 第18-20页 |
| 第二章 容错系统和实时系统 | 第20-44页 |
| 2．1 缺陷、错误和失效 | 第20-24页 |
| 2．1．1 失效和失效模式 | 第20-21页 |
| 2．1．2 错误 | 第21-22页 |
| 2．1．3 缺陷及其分类 | 第22-23页 |
| 2．1．4 缺陷、错误和失效的关系 | 第23-24页 |
| 2．2 可靠性技术 | 第24-26页 |
| 2．2．1 基本概念 | 第24-25页 |
| 2．2．2 可靠性保障技术 | 第25-26页 |
| 2．3 容错 | 第26-28页 |
| 2．3．1 概述 | 第26-27页 |
| 2．3．2 错误处理 | 第27-28页 |
| 2．3．3 缺陷处理 | 第28页 |
| 2．4 硬件容错 | 第28-30页 |
| 2．5 软件容错 | 第30-33页 |
| 2．5．1 恢复块（RB） | 第30-31页 |
| 2．5．2 多版本技术（NVP） | 第31页 |
| 2．5．3 N版本自检（NSCP） | 第31-32页 |
| 2．5．4 分布式恢复块（DRB） | 第32页 |
| 2．5．5 异常处理（EH） | 第32页 |
| 2．5．6 小结 | 第32-33页 |
| 2．6 实时系统 | 第33-38页 |
| 2．6．1 实时系统的组成及其特点 | 第33-35页 |
| 2．6．2 实时系统的体系结构 | 第35-36页 |
| 2．6．3 实时操作系统 | 第36-38页 |
| 2．7 容错实时系统 | 第38-41页 |
| 2．7．1 Delta-4 | 第39-40页 |
| 2．7．2 GUARDS | 第40-41页 |
| 2．8 小结 | 第41-44页 |
| 第三章 实时调度算法研究 | 第44-58页 |
| 3．1 实时调度的基本概念 | 第44-46页 |
| 3．2 基于优先级的实时调度的分类 | 第46-48页 |
| 3．3 单处理器静态硬实时调度算法 | 第48-51页 |
| 3．3．1 单调比率调度（RMS） | 第48-50页 |
| 3．3．2 单调时限调度（DMS） | 第50-51页 |
| 3．4 DMS的简化可调度条件 | 第51-55页 |
| 3．5 单处理器动态硬实时调度算法 | 第55-56页 |
| 3．6 多处理器实时调度算法 | 第56-57页 |
| 3．7 小结 | 第57-58页 |
| 第四章 容错实时调度算法研究 | 第58-110页 |
| 4．1 基本概念 | 第58-62页 |
| 4．1．1 时间冗余 | 第58-59页 |
| 4．1．2 容错实时调度 | 第59-61页 |
| 4．1．3 容错实时调度的分类 | 第61-62页 |
| 4．2 周期任务集的单处理器容错实时调度算法 | 第62-66页 |
| 4．2．1 PRA和CRA | 第62-64页 |
| 4．2．2 FTRM调度 | 第64-66页 |
| 4．3 非周期任务集的单处理器容错实时调度 | 第66-68页 |
| 4．3．1 FSP算法 | 第66-67页 |
| 4．3．2 LTH算法 | 第67页 |
| 4．3．3 RED算法 | 第67-68页 |
| 4．4 非精确计算 | 第68-70页 |
| 4．4．1 ABA算法 | 第69-70页 |
| 4．4．2 FT-Optimal调度 | 第70页 |
| 4．5 多处理器容错实时调度算法 | 第70-77页 |
| 4．5．1 概述 | 第71-72页 |
| 4．5．2 FT-RMMS和FT-EDFMS | 第72-73页 |
| 4．5．3 FT-DM | 第73-74页 |
| 4．5．4 PB系统 | 第74-75页 |
| 4．5．5 RTFTNO和RTFTRC | 第75-76页 |
| 4．5．6 FT-PF | 第76-77页 |
| 4．6 基于非精确计算的FTRM | 第77-85页 |
| 4．6．1 系统模型 | 第77-78页 |
| 4．6．2 时间冗余策略和调度算法 | 第78-79页 |
| 4．6．3 算法的正确性 | 第79-82页 |
| 4．6．4 IC-FT-RM的可调度条件 | 第82-85页 |
| 4．6．5 举例 | 第85页 |
| 4．7 容错EDF | 第85-91页 |
| 4．7．1 系统模型 | 第86页 |
| 4．7．2 时间冗余策略和调度算法 | 第86-88页 |
| 4．7．3 容错EDF的可调度条件 | 第88-90页 |
| 4．7．4 举例 | 第90-91页 |
| 4．8 基于资源回收的容错EDF | 第91-97页 |
| 4．8．1 任务模型 | 第91-93页 |
| 4．8．2 调度算法 | 第93-96页 |
| 4．8．3 几点评价 | 第96-97页 |
| 4．9 实时调度实算法的模拟和分析 | 第97-107页 |
| 4．9．1 算法模拟的原理 | 第97-98页 |
| 4．9．2 测试环境和测试流程 | 第98-102页 |
| 4．9．3 FTRM与IC-FT-RM | 第102-104页 |
| 4．9．4 FTEDF | 第104-105页 |
| 4．9．5 FTEDF与RR-FTEDF | 第105-107页 |
| 4．9．6 几点说明 | 第107页 |
| 4．10 小节 | 第107-110页 |
| 第五章 容错实时运行库技术 | 第110-120页 |
| 5．1 RTEMS | 第110-111页 |
| 5．2 系统级容错和应用层容错 | 第111-113页 |
| 5．2．1 系统级容错 | 第112页 |
| 5．2．2 应用层容错 | 第112-113页 |
| 5．3 容错实时运行库模型 | 第113-116页 |
| 5．4 容错实时运行库的实现技术 | 第116-118页 |
| 5．5 结论 | 第118-120页 |
| 第六章 容错实时系统的在线升级技术研究 | 第120-130页 |
| 6．1 概述 | 第120-121页 |
| 6．2 在线升级的需求分析 | 第121页 |
| 6．3 在线升级的容错结构 | 第121-123页 |
| 6．4 在线升级模型的功能和结构分析 | 第123-126页 |
| 6．4．1 算法和冗余资源管理 | 第124-125页 |
| 6．4．2 决策模块和决策规则 | 第125-126页 |
| 6．4．3 数据交换模块 | 第126页 |
| 6．5 随机Petri网模型 | 第126-128页 |
| 6．6 结论 | 第128-130页 |
| 第七章 防危核技术研究 | 第130-138页 |
| 7．1 防危性概述 | 第130-131页 |
| 7．2 防危核技术 | 第131-132页 |
| 7．3 元对象技术 | 第132-134页 |
| 7．4 基于元对象的防危核 | 第134-137页 |
| 7．5 结论 | 第137-138页 |
| 第八章 全文总结 | 第138-142页 |
| 参考文献 | 第142-152页 |
| 致谢 | 第152-154页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第154-156页 |
