学位论文 > 优秀研究生学位论文题录展示

星上带容错功能的计算机引导系统的研究和实现

作　者: 陈国林
导　师: 章立生
学　校: 中国科学院研究生院（计算技术研究所）
专　业: 计算机系统结构
关键词: 星上主控计算机 引导系统 SEU(Single Event Upset) 容错 EDAC(Error Detection and Correction)
分类号: V443.2
类　型: 硕士论文
年　份: 2005年
下　载: 211次
引　用: 3次
阅　读: 论文下载
 

内容摘要


合成孔径雷达(Synthetic Aperture Radar,SAR)是一种高分辨率的微波成像雷达,星载SAR实时成像处理器的研制开发在国防军事上有着重大意义。作为实时成像系统控制核心的主控计算机,其设计实现在整个系统中是至关重要的。本文论述了星载实时成像系统中带容错功能的主控计算机引导程序的设计实现。当今各关键领域中对计算机系统的可靠性要求愈加严格,各种容错技术被广泛的应用。传统的硬件冗余,如三模冗余,混合三模冗余等,仍然是可靠的保证方案。FPGA凭借可定制性好、功耗低、体积小等优点,在航天航空系统中使用越来越广,基于FPGA的容错方案也日益增多。软件容错作为硬件容错的辅助手段,如软件的N模冗余,块恢复等可以在对成本要求严格,时间性要求不高的应用中采用,特别是基于软件的EDAC内存容错方案在星上系统应用中达到了良好的效果。在主控计算机的硬件设计中,采用了两个不同类型的可编程逻辑器件来保证系统的可靠性,反熔丝型CPLD保证系统加电自启动、自检、看门狗和星地链路接口等功能的正确无误,而基于SRAM的FPGA则用于搭建嵌入式系统的平台。在基于Xilinx公司的FPGA试验平台上,实现了一个功能完整的引导程序。此引导程序基于MicroBlaze体系结构,内建了启动测试程序,具有基本完整的中断处理系统,界面良好的Command Shell以及可靠的文件传输手段。引导程序在组织结构上清晰直观,容易添加新的特性和功能。为了减轻主控计算机的内存模块受到的SEU影响,采用了基于软件的EDAC方式对内存进行保护。根据系统的特性,选取(12,8)海明校验码并设计了encode和decode两种基本原语;在基本原语的基础上,扩展出堆栈保护,变量保护以及Scrubber检测程序等EDAC的校验手段来提高系统的可靠性。通过使用软件的故障注入方式对系统的容错特性进行了测试,测试的结果表明对SEU造成的影响具有较好的纠错能力。

全文目录


声 明  2
关于论文使用授权的说明  2-3
摘要  3-4
ABSTRACT  4-8
图目录  8-9
表目录  9-10
第一章 引言  10-16
  1.1 星载合成孔径雷达实时成像系统  10-12
  1.2 主控系统的引导程序  12
  1.3 太空环境对星载成像器的影响  12-14
  1.4 本文的工作和意义  14-15
  1.5 本文的组织  15-16
第二章 计算机容错技术在航天系统中的应用  16-26
  2.1 相关定义  16-17
  2.2 冗余技术  17-21
    2.2.1 硬件冗余  17-19
    2.2.2 软件冗余  19-20
    2.2.3 时间冗余  20-21
    2.2.4 信息冗余  21
  2.3 国外卫星系统中系统软件的特点  21-24
    2.3.1 GLAST Gamma 射线广角望远镜  21-23
    2.3.2 Swift Gamma 射线喷射探测器  23-24
  2.4 星载SAR 实时成像处理器的容错设计  24-25
  2.5 小结  25-26
第三章 星上主控计算机的软硬件设计  26-46
  3.1 主控机硬件结构方案  26-29
  3.2 FPGA 实验平台设计方案  29-33
    3.2.1 开发环境和开发流程  29-30
    3.2.2 FGPA 内部结构设计  30-33
    3.2.3 FGPA 内部的地址分配  33
  3.3 基于FPGA 的引导系统设计  33-45
    3.3.1 引导系统的结构和流程  34-36
    3.3.2 系统的存储空间分配  36-37
    3.3.3 内建的系统测试模块  37-38
    3.3.4 中断系统  38-41
    3.3.5 ZMODEM 协议的实现  41-45
  3.4 小结  45-46
第四章 引导系统的EDAC 软件实现  46-58
  4.1 纠错码的空间分布  46-48
  4.2 （12，8）海明校验码  48-50
  4.3 基本EDAC 原语设计  50-51
  4.4 手工保护  51-53
    4.4.1 堆栈的保护  52-53
    4.4.2 变量的显式保护  53
  4.5 自动保护  53-54
  4.6 EDAC 原语的使用  54-56
  4.7 一个版本的软件N 模冗余  56-57
  4.8 小结  57-58
第五章 系统容错性能测试  58-64
  5.1 故障注入设计  58-61
    5.1.1 故障注入模型  58-59
    5.1.2 故障程序在引导系统上的实现  59-61
    5.1.3 故障检测  61
  5.2 测试结果和分析  61-63
  5.3 小结  63-64
第六章 结束语  64-66
  6.1 本文工作总结  64
  6.2 下一步的研究工作  64-66
参考文献  66-70
致谢  70-71
作者简历  71

相似论文

  1. 偏振光/地磁/GPS/SINS组合导航算法研究,V249.328
  2. 并行分布式网络模拟器PDNS容错技术的研究,TP302.8
  3. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  4. 基于数据流异常检测的嵌入式软件容错研究,TP368.1
  5. 移动代理电子商务环境下的安全迁移模型研究,TP393.08
  6. 非线性系统的容错保性能控制研究,TP13
  7. 不确定系统的鲁棒故障估计与主动容错控制研究,TP13
  8. 列控系统及其计算机网络的故障诊断与故障容错研究,TP393.06
  9. 基于NoC的软错误点到点容错机制及面向可靠性的应用映射算法研究,TP302.8
  10. 基于冗余传输的片上网络软错误的容错方法研究,TP302.8
  11. 云计算环境下的容错并行Skyline查询技术研究,TP311.13
  12. P2P流媒体网络的容错机制研究,TP393.06
  13. 一种永磁同步电机容错控制方法的研究,TM341
  14. 基于BIT的电子控制器容错设计技术研究,V233.7
  15. 高可靠性电动作动器的研究和设计,V249.1
  16. 动态系统的鲁棒故障诊断与容错控制技术研究,TP13
  17. CAN总线应用层协议规划及容错技术研究,TP273
  18. 基于ARM7的高可信系统核心模块数据通信的设计与实现,TP274.2
  19. 超立方体网络中容错组播的研究,TP393.02
  20. RAID系统纠删码技术研究,TP391.44
  21. 高可靠星载双机备份系统的设计与评估,TP309.3

中图分类: > 航空、航天 > 航天（宇宙航行） > 航天仪表、航天器设备、航天器制导与控制 > 电子设备 > 雷达
© 2012 www.xueweilunwen.com