高可信赖嵌入式操作系统内核的研究与实现
| 第一章 绪论 | 第1-16页 |
| ·课题背景 | 第10页 |
| ·嵌入式系统与实时系统概述 | 第10-13页 |
| ·实时计算 | 第10-11页 |
| ·嵌入式系统 | 第11页 |
| ·实时系统 | 第11-13页 |
| ·嵌入式实时操作系统概述 | 第13-15页 |
| ·实时操作系统的发展过程 | 第13-14页 |
| ·现代嵌入式实时操作系统的特征 | 第14-15页 |
| ·嵌入式实时操作系统的发展动态 | 第15页 |
| ·本文工作 | 第15页 |
| ·本文组织 | 第15-16页 |
| 第二章 实时操作系统体系结构 | 第16-33页 |
| ·嵌入式实时操作系统体系结构 | 第16-24页 |
| ·整体式结构 | 第16-17页 |
| ·层次结构 | 第17-18页 |
| ·微内核结构 | 第18-21页 |
| ·虚拟机结构 | 第21-23页 |
| ·外展式结构 | 第23页 |
| ·可扩展系统 | 第23页 |
| ·小节 | 第23-24页 |
| ·嵌入式实时操作系统中的面向对象技术 | 第24-27页 |
| ·简介 | 第24页 |
| ·面向对象技术的优缺点 | 第24-25页 |
| ·实时系统中的面向对象技术 | 第25-27页 |
| ·嵌入式操作实时系统中的组件技术 | 第27-29页 |
| ·简介 | 第27页 |
| ·OSKIT-基于组件技术的操作系统框架 | 第27-29页 |
| ·多处理器实时操作系统 | 第29-33页 |
| ·多处理器系统的分类 | 第29页 |
| ·常见嵌入式实时多处理器系统结构 | 第29-30页 |
| ·实时多处理器系统任务调度 | 第30-31页 |
| ·多处理器之间的连接和通信 | 第31-33页 |
| 第三章 嵌入式实时操作系统可信性 | 第33-54页 |
| ·软件的可信性 | 第33页 |
| ·嵌入式实时内核可靠性设计 | 第33-48页 |
| ·内核可靠性 | 第34-36页 |
| ·容错实时调度算法 | 第36-48页 |
| ·嵌入式实时系统的时空隔离保护机制 | 第48-52页 |
| ·概述 | 第48-49页 |
| ·实时操作系统时空保护的现状 | 第49-50页 |
| ·实时操作系统时空保护的方法 | 第50-52页 |
| ·嵌入式实时操作系统的安全与防危 | 第52-54页 |
| 第四章 嵌入式实时内核 | 第54-74页 |
| ·任务管理 | 第54-58页 |
| ·任务的定义 | 第54页 |
| ·实时任务的状态 | 第54-55页 |
| ·实时任务的上下文和上下文切换 | 第55页 |
| ·实时任务的映射 | 第55-56页 |
| ·实时任务的组成 | 第56页 |
| ·实时任务的实现 | 第56-58页 |
| ·任务调度 | 第58-63页 |
| ·基本概念 | 第58-60页 |
| ·单处理器实时调度算法 | 第60-63页 |
| ·内存管理 | 第63-67页 |
| ·实时系统内存管理差异巨大 | 第63页 |
| ·静态内存管理和动态内存管理 | 第63-64页 |
| ·伙伴内存管理算法 | 第64-67页 |
| ·中断管理 | 第67-69页 |
| ·中断嵌套 | 第67-68页 |
| ·中断接管 | 第68页 |
| ·中断设计需要考虑的因素 | 第68-69页 |
| ·时间、定时管理 | 第69-71页 |
| ·时间 | 第69页 |
| ·定时管理 | 第69-70页 |
| ·时间管理中的变频技术 | 第70-71页 |
| ·其它 | 第71-74页 |
| ·I／O管理 | 第71页 |
| ·扩展处理 | 第71页 |
| ·出错处理 | 第71-72页 |
| ·系统配置 | 第72-74页 |
| 第五章 CRTOS Ⅱ的设计和实现 | 第74-101页 |
| ·CRTOS Ⅱ的设计目标 | 第74-75页 |
| ·CRTOS Ⅱ的总体结构 | 第75页 |
| ·CRTOS Ⅱ多处理器支持的设计与实现 | 第75-79页 |
| ·节点 | 第76页 |
| ·全局对象 | 第76页 |
| ·全局对象表 | 第76-77页 |
| ·远程通信接口层 | 第77页 |
| ·远处消息服务器和包解释器 | 第77-78页 |
| ·远程操作 | 第78-79页 |
| ·CRTOS Ⅱ的内核结构 | 第79-81页 |
| ·CRTOS Ⅱ的内核的设计与实现 | 第81-92页 |
| ·CRTOS Ⅱ的对象管理 | 第81-82页 |
| ·CRTOS Ⅱ的任务管理机制 | 第82-85页 |
| ·CRTOS Ⅱ的任务调度机制 | 第85-86页 |
| ·CRTOS Ⅱ的内存管理机制 | 第86-88页 |
| ·CRTOS Ⅱ的中断管理机制 | 第88-90页 |
| ·CRTOS Ⅱ的时间、定时管理机制 | 第90-92页 |
| ·CRTOS Ⅱ的可信性设计与实现 | 第92-96页 |
| ·内核可靠性 | 第92-93页 |
| ·保护域模式 | 第93-94页 |
| ·防危核与安全核 | 第94-96页 |
| ·CRTOS Ⅱ的测试 | 第96-101页 |
| ·测试环境 | 第96-97页 |
| ·功能测试 | 第97页 |
| ·性能测试 | 第97-101页 |
| 第六章 结束语 | 第101-103页 |
| 参考文献 | 第103-106页 |
| 致谢 | 第106-107页 |
| 个人简历、在学期间的研究成果及发表的学术论文 | 第107页 |
