星载计算机中IP/ATM及路由关键技术研究与实现
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-17页 |
| ·星载计算机 | 第12-13页 |
| ·星载计算机的特点 | 第12页 |
| ·星载实时操作系统 | 第12-13页 |
| ·卫星网络通讯技术 | 第13-15页 |
| ·课题研究内容 | 第15页 |
| ·论文的组织结构 | 第15-17页 |
| 第二章 星载计算机中的ATM技术 | 第17-33页 |
| ·ATM 技术在卫星通信中的应用 | 第17-22页 |
| ·ATM 技术在卫星通信中的优势 | 第17页 |
| ·ATM 技术在卫星通信中的误码率 | 第17-19页 |
| ·卫星ATM 链路延迟模型 | 第19-22页 |
| ·星载计算机中ATM 网络驱动设计与实现 | 第22-32页 |
| ·背景 | 第22-24页 |
| ·一种RTEMS 网络驱动模型 | 第24-28页 |
| ·星载ATM 网卡驱动设计与实现 | 第28-32页 |
| ·互通性测试 | 第32页 |
| ·本章小结 | 第32-33页 |
| 第三章 基于ATM的星载计算机中的IP技术 | 第33-45页 |
| ·基于IP 技术的卫星通讯 | 第33-34页 |
| ·TCP/IP 应用于卫星通讯的关键问题 | 第34-40页 |
| ·TCP 协议在卫星网络中的应用 | 第34-39页 |
| ·IP 路由问题 | 第39-40页 |
| ·在基于ATM 的星载计算机中支持IP 协议 | 第40-44页 |
| ·CIPOA 原理 | 第41页 |
| ·CIPOA on RTEMS 的设计与实现 | 第41-43页 |
| ·通信性能测试 | 第43-44页 |
| ·本章小结 | 第44-45页 |
| 第四章 星载计算机中的RIP路由协议 | 第45-65页 |
| ·RIP 路由协议的基本工作原理 | 第45-46页 |
| ·计算距离 | 第45页 |
| ·定时器 | 第45-46页 |
| ·RIP 路由协议形式化研究 | 第46-50页 |
| ·RIP 路由协议在星载计算机网络中的应用模型 | 第50-51页 |
| ·星载计算机中实现RIP 路由协议的关键问题研究 | 第51-56页 |
| ·路由表策略 | 第51-55页 |
| ·触发更新计时器 | 第55-56页 |
| ·RIP 路由协议在星载计算机中的设计与实现 | 第56-64页 |
| ·模块化设计 | 第56页 |
| ·RIP 的报文格式 | 第56-58页 |
| ·RTEMS 实现相关 | 第58-59页 |
| ·RIP 主要功能实现 | 第59-62页 |
| ·协议改进 | 第62页 |
| ·RIP 协议测试 | 第62-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 星载软件缓冲区溢出检测研究 | 第65-84页 |
| ·星载软件可靠性研究 | 第65-67页 |
| ·星载软件的可靠性 | 第65页 |
| ·星载软件可靠性保障技术 | 第65-66页 |
| ·星载软件缓冲区溢出检测 | 第66-67页 |
| ·基于模型检验进行缓冲区溢出检测 | 第67-77页 |
| ·基本思路 | 第68-69页 |
| ·技术优势 | 第69页 |
| ·缓冲区及其相关操作建模 | 第69-77页 |
| ·原型工具MCBuffer 的设计与实现 | 第77-82页 |
| ·中间语言CIL | 第77-78页 |
| ·缓冲区建模 | 第78-79页 |
| ·源程序模型抽取 | 第79-80页 |
| ·验证引擎SPIN | 第80页 |
| ·反例验证器 | 第80-81页 |
| ·自动精化 | 第81页 |
| ·一个简单的例子 | 第81-82页 |
| ·RIP 路由协议代码检测 | 第82-83页 |
| ·本章小结 | 第83-84页 |
| 第六章 结束语 | 第84-85页 |
| 致谢 | 第85-86页 |
| 参考文献 | 第86-89页 |
| 攻读硕士学位期间取得的学术成果 | 第89页 |
