高可信嵌入式实时操作系统的设计与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 引言 | 第11-14页 |
| ·课题背景 | 第11-12页 |
| ·本文工作 | 第12-13页 |
| ·本文组织 | 第13-14页 |
| 第二章 实时系统和实时操作系统 | 第14-18页 |
| ·实时系统 | 第14-15页 |
| ·实时操作系统 | 第15-18页 |
| ·实时操作系统的功能 | 第15页 |
| ·实时操作系统的基本特征 | 第15-16页 |
| ·实时操作系统的服务标准 | 第16-18页 |
| 第三章 高可信系统 | 第18-32页 |
| ·可信性(Dependability) | 第18-19页 |
| ·可靠性(reliability) | 第19-21页 |
| ·可靠性的定义 | 第19-20页 |
| ·可靠性度量 | 第20页 |
| ·技术和方法 | 第20-21页 |
| ·可靠性实现 | 第21页 |
| ·可靠性预测 | 第21页 |
| ·防危性(Safety) | 第21-24页 |
| ·防危性定义 | 第21-22页 |
| ·防危性度量 | 第22-23页 |
| ·管理危险的设计技术 | 第23-24页 |
| ·危险排除 | 第23页 |
| ·危险的减少 | 第23-24页 |
| ·危险控制 | 第24页 |
| ·安全性(Security) | 第24-26页 |
| ·安全性定义 | 第24-25页 |
| ·安全性度量 | 第25页 |
| ·安全技术和方法 | 第25-26页 |
| ·可维护性 | 第26-27页 |
| ·可维护性定义 | 第26页 |
| ·可维护性特性 | 第26-27页 |
| ·生存性(Survivability) | 第27-28页 |
| ·生存性定义 | 第27页 |
| ·生存性技术 | 第27-28页 |
| ·失效、错误、缺陷的定义及相互关系 | 第28-30页 |
| ·现有的可信性保证方法 | 第30-32页 |
| 第四章 实时高可信计算 | 第32-36页 |
| ·内存管理和调度 | 第32-33页 |
| ·实时操作系统的调度算法 | 第33-34页 |
| ·用 RTOS实现高可信系统 | 第34-35页 |
| ·商业实时操作系统的共有的性能 | 第35-36页 |
| 第五章 高可信嵌入式实时系统 | 第36-47页 |
| ·高可信嵌入式实时系统的研究现状 | 第36-38页 |
| ·容错调度 | 第36页 |
| ·时空隔离保护 | 第36-38页 |
| ·防危核与防危壳 | 第38页 |
| ·ERTOS II的内核的设计与实现 | 第38-42页 |
| ·ERTOS II的对象管理 | 第38-39页 |
| ·ERTOS II的任务管理机制 | 第39-40页 |
| ·线程管理机制 | 第39页 |
| ·任务管理机制 | 第39页 |
| ·全局任务管理机制 | 第39-40页 |
| ·ERTOS II的任务调度机制 | 第40-41页 |
| ·ERTOS II的内存管理机制 | 第41页 |
| ·ERTOS II的中断管理机制 | 第41页 |
| ·中断管理 | 第41页 |
| ·中断接管机制的实现 | 第41页 |
| ·ERTOS II的时间、定时管理机制 | 第41-42页 |
| ·时间、定时管理 | 第41页 |
| ·时间、定时的基本操作 | 第41-42页 |
| ·ERTOS II目前已做可信性的设计与实现 | 第42-47页 |
| ·内核可靠性(容错调度) | 第42-43页 |
| ·保护域模式 | 第43-45页 |
| ·安全核 | 第45页 |
| ·防危核 | 第45-47页 |
| 第六章 高可信子系统 Gasos的设计与实现 | 第47-58页 |
| ·目标 | 第47-48页 |
| ·Gasos子系统的总体结构 | 第48-49页 |
| ·Gasos子系统的框架结构 | 第49-54页 |
| ·调度分配器层 | 第49-50页 |
| ·Gasos DIR工具层 | 第50-53页 |
| ·检测 | 第50-51页 |
| ·隔离技术 | 第51-53页 |
| ·主干控制程序层 | 第53-54页 |
| ·模拟驱动的设计 | 第53-54页 |
| ·模拟驱动控制器的设计 | 第54页 |
| ·Gasos子系统的工作过程 | 第54-57页 |
| ·被动模式监测 | 第55页 |
| ·主动模式恢复 | 第55-57页 |
| ·停止失效的驱动 | 第56页 |
| ·重新初始化驱动 | 第56页 |
| ·驱动重新回到失效前的工作状态 | 第56-57页 |
| ·小结 | 第57-58页 |
| 第七章 ERTOS II 系统移植 | 第58-76页 |
| ·内核上下文切换 | 第58-61页 |
| ·处理器的初始化 | 第61-67页 |
| ·BDM调试脚本中处理器的初始化 | 第62-63页 |
| ·start.s中处理器的初始化 | 第63-66页 |
| ·bspstart.c中处理器的初始化 | 第66-67页 |
| ·相关数据结构 | 第67-70页 |
| ·全局变量 | 第67页 |
| ·相关数据结构 | 第67-70页 |
| ·模块间关系 | 第70-72页 |
| ·初始化模块的功能 | 第70-71页 |
| ·模块内部接口 | 第71-72页 |
| ·ERTOS的启动流程 | 第72-73页 |
| ·初始化的重要函数 | 第73-75页 |
| ·小结 | 第75-76页 |
| 第八章 结束语 | 第76-78页 |
| 致谢 | 第78-79页 |
| 参考文献 | 第79-82页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第82页 |
