| 中文摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 主要符号表 | 第6-10页 |
| 第一章 引言 | 第10-12页 |
| ·课题背景 | 第10页 |
| ·进入课题准备 | 第10-11页 |
| ·本文章节安排 | 第11-12页 |
| 第二章 ARINC653 概述 | 第12-18页 |
| ·软件构成 | 第12-13页 |
| ·分区与区间管理 | 第13-14页 |
| ·健康检测 | 第14-16页 |
| ·维护 | 第14-15页 |
| ·故障响应 | 第15页 |
| ·错误级别 | 第15-16页 |
| ·基本服务 | 第16-17页 |
| ·本章总结 | 第17-18页 |
| 第三章 几种高可靠嵌入式OS 分析 | 第18-28页 |
| ·VxWorks653、LynxOs-178、INTEGRITY-178B的简介 | 第18-20页 |
| ·体系结构的分析 | 第20-25页 |
| ·VxWorks653 | 第20-21页 |
| ·LynxOS-178 | 第21-24页 |
| ·INTEGRITY-178B | 第24-25页 |
| ·区间管理机制的分析 | 第25页 |
| ·区间调度机制分析 | 第25-26页 |
| ·区间OS 与CoreOS 通信机制分析 | 第26页 |
| ·时间、定时管理机制分析 | 第26页 |
| ·系统配置分析 | 第26页 |
| ·可靠性和容错性分析 | 第26-27页 |
| ·本章总结 | 第27-28页 |
| 第四章 面向机载的嵌入式操作系统ARTOS 设计与实现 | 第28-68页 |
| ·需求分析 | 第28-29页 |
| ·ARTOS 在几个性能方面的设计 | 第29-33页 |
| ·高可靠性方面的设计 | 第29-30页 |
| ·实时性方面的设计 | 第30-32页 |
| ·可剪裁性方面的设计 | 第32-33页 |
| ·可配置性方面的设计 | 第33页 |
| ·可扩展性方面的设计 | 第33页 |
| ·ARTOS 体系结构的设计 | 第33-37页 |
| ·域管理机制设计与实现 | 第37-42页 |
| ·域管理提供的API | 第37页 |
| ·域的状态及状态转换 | 第37-39页 |
| ·域的特性 | 第39-40页 |
| ·域的空间管理 | 第40-41页 |
| ·域的创建与删除 | 第41-42页 |
| ·域的冷热重启动 | 第42页 |
| ·域的调度与任务调度 | 第42-46页 |
| ·设计思想及调度模型 | 第43-44页 |
| ·优先级调度 | 第44页 |
| ·时间片轮转 | 第44-45页 |
| ·域的时间表调度 | 第45-46页 |
| ·存储管理 | 第46-48页 |
| ·设计思路 | 第46-47页 |
| ·存储器工作模型 | 第47-48页 |
| ·任务池机制设计与实现 | 第48-51页 |
| ·任务池设计原理 | 第48-49页 |
| ·任务池实现方式 | 第49-51页 |
| ·任务池API | 第51页 |
| ·异步信号机制与实现 | 第51-54页 |
| ·异步信号调用时机 | 第52-53页 |
| ·异步信号的设计 | 第53-54页 |
| ·异步信号API | 第54页 |
| ·异步IO 机制 | 第54-57页 |
| ·设计思路 | 第55-56页 |
| ·工作流程 | 第56-57页 |
| ·时间管理 | 第57-59页 |
| ·设计思路 | 第57-58页 |
| ·时钟管理提供的接口 | 第58-59页 |
| ·出错处理的设计与实现 | 第59-60页 |
| ·模块管理与加载机制设计与实现 | 第60-64页 |
| ·模块操作接口 | 第61-62页 |
| ·函数调用方式 | 第62-64页 |
| ·系统的启动机制设计与实现 | 第64-67页 |
| ·系统启动的特殊性 | 第65-66页 |
| ·系统启动程序的功能 | 第66页 |
| ·系统启动的过程 | 第66-67页 |
| ·本章总结 | 第67-68页 |
| 第五章 系统测试 | 第68-71页 |
| ·嵌入式测试基础 | 第68-69页 |
| ·测试硬件简介 | 第69-70页 |
| ·测试流程 | 第70页 |
| ·本章总结 | 第70-71页 |
| 第六章 结束语 | 第71-73页 |
| 致谢 | 第73-74页 |
| 参考文献 | 第74-76页 |
| 在学期间的研究成果 | 第76页 |