| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第一章 绪论 | 第9-13页 |
| ·本文的内容 | 第9-12页 |
| ·本文的组织 | 第12-13页 |
| 第二章 概述 | 第13-21页 |
| ·远程无人自治系统的特点 | 第13-15页 |
| ·系统资源有限 | 第13页 |
| ·距离远 | 第13-14页 |
| ·通讯条件差 | 第14页 |
| ·系统不可失效 | 第14页 |
| ·更新时机有限 | 第14页 |
| ·维护监控需要反复进行 | 第14页 |
| ·具有的智能有限 | 第14-15页 |
| ·监控目的 | 第15-16页 |
| ·运行分析 | 第15页 |
| ·性能测试 | 第15页 |
| ·系统修正 | 第15页 |
| ·提高可靠性 | 第15-16页 |
| ·应用需求 | 第16-18页 |
| ·维护 | 第16页 |
| ·监视 | 第16-17页 |
| ·调试 | 第17页 |
| ·控制 | 第17-18页 |
| ·自管理 | 第18页 |
| ·目前存在的主要问题 | 第18-21页 |
| ·代码更新 | 第18-19页 |
| ·远程监视 | 第19页 |
| ·远程调试 | 第19页 |
| ·自管理 | 第19-21页 |
| 第三章 方案论证 | 第21-55页 |
| ·方案目标 | 第21页 |
| ·技术选择 | 第21-25页 |
| ·技术对比 | 第21-22页 |
| ·JAVA技术的特性 | 第22-25页 |
| ·基本思路 | 第25-27页 |
| ·使用JAVA实现框架的设计和实现 | 第25-26页 |
| ·结合已有嵌入式系统开发的经验 | 第26页 |
| ·对关键技术进行创新 | 第26-27页 |
| ·主要问题的分析及方法论证 | 第27-49页 |
| ·软总线 | 第27-30页 |
| ·更新文件传输 | 第30-31页 |
| ·更新文件的验证 | 第31-32页 |
| ·动态更新版本 | 第32-37页 |
| ·旧版本的回滚 | 第37页 |
| ·监控操作及数据的采集 | 第37-43页 |
| ·监控的原子操作 | 第43-46页 |
| ·监视数据基于模式的分析 | 第46页 |
| ·监视数据存储 | 第46页 |
| ·远程调试 | 第46-47页 |
| ·局部微重启 | 第47页 |
| ·监控代码的更新 | 第47-48页 |
| ·代失效码隔离 | 第48页 |
| ·代码自我分析 | 第48页 |
| ·代码自演化 | 第48-49页 |
| ·可行性验证 | 第49-53页 |
| ·多虚拟机系统 | 第49页 |
| ·运行监控 | 第49页 |
| ·远程调试 | 第49页 |
| ·代码更新 | 第49-50页 |
| ·代码自演化 | 第50-53页 |
| ·局部重起 | 第53页 |
| ·硬件要求 | 第53-55页 |
| 第四章 Hammer框架设计 | 第55-81页 |
| ·设计的基本原则 | 第55页 |
| ·提出的架构 | 第55-64页 |
| ·构架物理视图 | 第55-57页 |
| ·软总线 | 第57-58页 |
| ·功能模块 | 第58-61页 |
| ·总体框架 | 第61-64页 |
| ·流程分析 | 第64-71页 |
| ·监控调试流程 | 第64-67页 |
| ·维护流程 | 第67-69页 |
| ·自演化流程 | 第69-71页 |
| ·架构的特点分析 | 第71-72页 |
| ·组成特性 | 第71页 |
| ·操作特性 | 第71页 |
| ·仿生学特性 | 第71-72页 |
| ·对基本原则的满足 | 第72页 |
| ·构架验证系统的设计 | 第72-79页 |
| ·监控调试脚本定义 | 第72-74页 |
| ·通用控制接口的实现 | 第74页 |
| ·接口 | 第74-76页 |
| ·数据库设计 | 第76-77页 |
| ·数据传输格式 | 第77-78页 |
| ·算法及复杂度分析 | 第78-79页 |
| ·评测计划 | 第79-81页 |
| ·单元测试 | 第79页 |
| ·功能测试 | 第79-80页 |
| ·集成测试 | 第80-81页 |
| 第五章 Hammer验证系统实现 | 第81-89页 |
| ·开发环境的建立 | 第81页 |
| ·已完成的工作 | 第81页 |
| ·类图 | 第81-88页 |
| ·虚拟机 | 第82-83页 |
| ·数据类型 | 第83-85页 |
| ·请求 | 第85-86页 |
| ·事件 | 第86-87页 |
| ·事件处理 | 第87-88页 |
| ·静态代码演化 | 第88页 |
| ·未完成的工作 | 第88-89页 |
| 第六章 测试 | 第89-95页 |
| ·测试目的 | 第89页 |
| ·测试场景的选择与建立 | 第89页 |
| ·测试的范围与步骤、测试结果 | 第89-95页 |
| ·数据传输测试 | 第89页 |
| ·注册监控插件测试 | 第89页 |
| ·模拟代码错误局部重启、隔离测试 | 第89-90页 |
| ·代码更新测试 | 第90页 |
| ·自演化测试 | 第90-95页 |
| 第七章 结束语 | 第95-97页 |
| 致谢 | 第97-99页 |
| 参考文献 | 第99-101页 |
| 研究成果 | 第101-102页 |
| 附件:作者在ICSE workshop SEAMS上做学术报告 | 第102页 |