并行星载软件全数字模拟测试平台的研究
| 提要 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-12页 |
| 第1章 绪论 | 第12-16页 |
| ·课题概述 | 第12页 |
| ·课题研究必要性 | 第12-14页 |
| ·星载软件可靠性的重要性 | 第12-13页 |
| ·课题研究必要性 | 第13-14页 |
| ·课题选题来源 | 第14页 |
| ·研究内容及成果 | 第14-15页 |
| ·论文结构安排 | 第15-16页 |
| 第2章 并行星载软件测试技术发展现状 | 第16-29页 |
| ·嵌入式软件测试技术 | 第16-19页 |
| ·软件测试 | 第16-17页 |
| ·嵌入式软件测试 | 第17-18页 |
| ·嵌入式软件测试的难点 | 第18-19页 |
| ·模拟器技术研究现状 | 第19-21页 |
| ·模拟器概念 | 第19页 |
| ·模拟器技术 | 第19-21页 |
| ·模拟器研究现状 | 第21页 |
| ·星载软件测试技术分类 | 第21-25页 |
| ·全数字测试 | 第21-23页 |
| ·闭环测试 | 第23-24页 |
| ·全数字闭环测试的难点 | 第24-25页 |
| ·并行模拟器同步发展现状 | 第25-29页 |
| ·基本概念 | 第25-26页 |
| ·模拟器时间同步问题 | 第26-27页 |
| ·模拟器同步研究现状 | 第27-29页 |
| 第3章 全数字模拟测试平台的设计与实现 | 第29-38页 |
| ·模拟器技术 | 第29-31页 |
| ·模拟器实现的功能 | 第29-30页 |
| ·模拟器的架构 | 第30-31页 |
| ·CPU模拟器 | 第31-34页 |
| ·模拟器外部虚拟设备芯片的开发 | 第34-38页 |
| ·I/O通用模拟的研究与实现 | 第34-35页 |
| ·虚拟设备芯片开发 | 第35-36页 |
| ·星载软件的目标环境的仿真 | 第36-38页 |
| 第4章 并行仿真中时间同步技术 | 第38-53页 |
| ·并行星载系统与时间同步策略 | 第38-40页 |
| ·并行星载系统 | 第38-40页 |
| ·时间同步策略 | 第40页 |
| ·保守同步算法 | 第40-42页 |
| ·基本思想 | 第40-41页 |
| ·超前值 | 第41-42页 |
| ·乐观同步算法 | 第42-53页 |
| ·基本思想 | 第42-44页 |
| ·如何撤销事件 | 第44-47页 |
| ·全局控制策略 | 第47-48页 |
| ·计算GVT | 第48-53页 |
| 第5章 混合时间同步策略的实现 | 第53-67页 |
| ·混合时间同步策略 | 第53-64页 |
| ·时间推进机制 | 第53-57页 |
| ·状态保存策略 | 第57-60页 |
| ·BTW实现 | 第60-64页 |
| ·算法的应用及效率 | 第64-67页 |
| ·BTW解决多个模拟器同步 | 第64-65页 |
| ·混合时间同步算法的效率 | 第65-67页 |
| 第6章 结论与展望 | 第67-69页 |
| ·结论 | 第67页 |
| ·展望 | 第67-69页 |
| 作者简介及在学期间所取得的科研成果 | 第69-70页 |
| 致谢 | 第70-71页 |
| 参考文献 | 第71-72页 |
