空间机器人软件错误检测技术研究
| 摘要 | 第1-6页 |
| Abstract | 第6-14页 |
| 第1章 绪论 | 第14-32页 |
| ·课题背景及研究的目的和意义 | 第14-16页 |
| ·国内外研究现状 | 第16-29页 |
| ·容错与空间机器人软件高可信 | 第16-21页 |
| ·进程级错误检测研究现状 | 第21-24页 |
| ·系统级错误检测研究现状 | 第24-27页 |
| ·软件检错能力验证和评价 | 第27-29页 |
| ·主要研究内容和创新点 | 第29-30页 |
| ·本文的组织结构 | 第30-32页 |
| 第2章 基本原理与评价体系 | 第32-53页 |
| ·引言 | 第32页 |
| ·空间机器人体系结构 | 第32-34页 |
| ·硬件体系结构 | 第32-33页 |
| ·软件体系结构 | 第33-34页 |
| ·基于程序基本块的错误检测 | 第34-40页 |
| ·控制流错误检测 | 第36-37页 |
| ·数据错误检测 | 第37-40页 |
| ·分布式软件检错模型 | 第40-43页 |
| ·分析与评价体系 | 第43-52页 |
| ·软件可靠性 | 第43-44页 |
| ·可靠性的概念和指标 | 第44-46页 |
| ·空间机器人软件可靠性分析 | 第46-49页 |
| ·软件实现的故障注入 | 第49-51页 |
| ·空间机器人评价指标选择 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 第3章 基于模拟存储器软件错误检测 | 第53-75页 |
| ·引言 | 第53-55页 |
| ·模拟存储器及其分配 | 第55-58页 |
| ·控制流错误检测 | 第58-65页 |
| ·基于签名的错误检测原理 | 第58页 |
| ·扇入节点的处理 | 第58-62页 |
| ·检测指令的添加 | 第62-63页 |
| ·控制流错误检测算法 | 第63-64页 |
| ·存储与性能代价分析 | 第64-65页 |
| ·数据错误检测 | 第65-71页 |
| ·检测原理与指令编排 | 第65-69页 |
| ·数据错误检测算法 | 第69页 |
| ·存储与性能代价分析 | 第69-70页 |
| ·组合优化分析 | 第70-71页 |
| ·实验及分析 | 第71-73页 |
| ·CFCAR实验 | 第71-72页 |
| ·DCAR实验 | 第72页 |
| ·SHAR试验 | 第72-73页 |
| ·本章小结 | 第73-75页 |
| 第4章 基于自适应冗余的软件错误检测 | 第75-95页 |
| ·引言 | 第75-76页 |
| ·分布式自适应冗余模型 | 第76-82页 |
| ·IO错误检测 | 第82-85页 |
| ·微检查点错误检测 | 第85-90页 |
| ·同步和异步检查 | 第85-86页 |
| ·微检查点状态 | 第86-88页 |
| ·MBED算法 | 第88-90页 |
| ·实验与分析 | 第90-94页 |
| ·本章小结 | 第94-95页 |
| 第5章 混合检错模型及原型系统 | 第95-113页 |
| ·引言 | 第95-96页 |
| ·软件混合检错模型 | 第96-100页 |
| ·基于SHEDM的原型系统 | 第100-110页 |
| ·实验系统的结构 | 第101-104页 |
| ·实验流程 | 第104-105页 |
| ·实验参数和界面 | 第105-109页 |
| ·实验结果及分析 | 第109-110页 |
| ·纠错 | 第110-112页 |
| ·常见错误纠正技术 | 第110-111页 |
| ·本文的纠错方法及分析 | 第111-112页 |
| ·纠错技术小结 | 第112页 |
| ·本章小结 | 第112-113页 |
| 结论 | 第113-115页 |
| 参考文献 | 第115-122页 |
| 攻读学位期间发表的学术论文及其它成果 | 第122-124页 |
| 致谢 | 第124-125页 |
| 个人简历 | 第125页 |
