| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第1章 绪论 | 第12-20页 |
| ·课题背景 | 第12-16页 |
| ·微小卫星发展现状 | 第12-14页 |
| ·嵌入式操作系统发展现状 | 第14-16页 |
| ·课题内容和贡献 | 第16-18页 |
| ·本文组织结构 | 第18-19页 |
| ·本章小结 | 第19-20页 |
| 第2章 研究基础 | 第20-30页 |
| ·Smart-OSEK OS介绍 | 第20-22页 |
| ·动态更新技术介绍 | 第22-23页 |
| ·动态更新简介 | 第22页 |
| ·嵌入式领域动态更新技术 | 第22-23页 |
| ·ELF文件格式介绍 | 第23-24页 |
| ·IEC61508标准介绍 | 第24-25页 |
| ·MISRA C标准介绍 | 第25-28页 |
| ·标准产生背景 | 第25-28页 |
| ·MISRA-C的目标 | 第28页 |
| ·本章小结 | 第28-30页 |
| 第3章 面向微小卫星的Smart-OSEK OS设计实现 | 第30-44页 |
| ·微小卫星硬件平台适配层抽象具体设计 | 第30-35页 |
| ·TI6747硬件平台介绍 | 第31-34页 |
| ·硬件抽象层架构设计 | 第34-35页 |
| ·微小卫星软件平台核心架构具体设计 | 第35-43页 |
| ·整体框架 | 第35-38页 |
| ·Smart-OSEK OS可靠性分析 | 第38-42页 |
| ·局部代码动态更新模块 | 第42页 |
| ·健康监控模块 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第4章 局部代码动态更新设计与实现 | 第44-54页 |
| ·整体设计 | 第44-48页 |
| ·核心子模块设计 | 第48-53页 |
| ·数据接收模块 | 第48页 |
| ·补丁解析模块 | 第48-50页 |
| ·安全验证模块 | 第50-51页 |
| ·数据备份模块 | 第51-52页 |
| ·程序加载模块 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第5章 健康监控设计与实现 | 第54-64页 |
| ·整体设计 | 第54-56页 |
| ·信息采集监控子模块设计和实现 | 第56-62页 |
| ·健康监控信息采集技术 | 第56页 |
| ·控制流监控模块 | 第56-57页 |
| ·数据流监控模块 | 第57-58页 |
| ·实时性监控模块 | 第58-62页 |
| ·故障处理子模块设计和实现 | 第62-63页 |
| ·本章小结 | 第63-64页 |
| 第6章 面向微小卫星的Smart-OSEK RTOS实施案例 | 第64-75页 |
| ·案例的设计 | 第64-65页 |
| ·案例配置 | 第65-66页 |
| ·动态更新演示 | 第66-71页 |
| ·健康监控演示 | 第71-73页 |
| ·实时监控 | 第71-72页 |
| ·数据流监控 | 第72-73页 |
| ·性能对比和分析 | 第73-74页 |
| ·本章小结 | 第74-75页 |
| 第7章 总结与展望 | 第75-78页 |
| ·工作总结 | 第75-76页 |
| ·工作展望 | 第76-78页 |
| 参考文献 | 第78-82页 |
| 攻读硕士学位期间主要的研究成果 | 第82-84页 |
| 致谢 | 第84-85页 |