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

星载SAR控制软件故障注入技术研究

作 者: 朱鹏
导 师: 张平
学 校: 中国科学院研究生院(电子学研究所)
专 业: 通信与信息系统
关键词: 故障注入 单粒子事件 单片机 中断
分类号: TN958
类 型: 硕士论文
年 份: 2004年
下 载: 334次
引 用: 8次
阅 读: 论文下载
 

内容摘要


目前,计算机系统已经得到广泛的应用,计算机系统的可靠性已经越发受到人们的重视。尤其在航空、航天系统以及一些军事通讯等用途中,高可靠性系统的需求显得尤为必要。在这些系统中,计算机一旦出现失效,就会导致巨大的经济损失,甚至会产生军事、政治上的损失。对于这类系统,可靠性就是一个非常重要的参数。随着计算机系统的飞速发展,可靠性系统的应用已经越发广泛,如今已经延伸到交通、金融、船舶、电力等行业。在航天系统中,可靠性的需求尤为强烈。故障注入技术是容错计算机可靠性的重要评测方法。 本文在航天单粒子翻转(SEU)和RAM的故障模型关系方面进行了详实的研究,并提出了中断控制、软件故障注入的新方法,研究了航天单粒子事件与故障模拟之间的理论模型。论文重点研究了基于DS80C320单片机的故障注入系统,所研究的故障注入器对用于航天有效载荷分系统控制的80C31型单片机系统中的监控程序的容错能力进行考查和验证。 实验结果证明,此故障注入方法可以模拟单粒子事件对系统的影响,并能成功对系统注入故障。和传统的硬件故障注入法、软件注入法相比,此方法具有操作简单、易控制注入故障深度、实时注入、在线监控分析等突出优点。

全文目录


第一章 绪论  8-22
  1.1 合成孔径雷达的历史和发展  8-10
  1.2 航天系统中可靠性的意义  10-16
    1.2.1 系统可靠性意义  10-12
    1.2.2 高可靠性系统构造方法  12-14
    1.2.3 系统可靠性评测方法  14-16
  1.3 国内外故障注入研究概况  16-20
    1.3.1 国内外研究现状  17-18
    1.3.2 故障注入分类方法  18-19
    1.3.3 故障注入应用  19-20
  1.4 本文主要做的工作  20
  1.5 本文的主要贡献  20-22
第二章 故障注入技术研究  22-34
  2.1 故障的分类  22
  2.2 故障注入模型  22-24
  2.3 故障注入的属性  24-25
  2.4 故障注入环境  25-26
  2.5 常用故障注入技术  26-33
    2.5.1 基于硬件的故障注入方法  27-29
    2.5.2 基于软件的故障注入方法  29-33
  2.6 星载SAR软件控制系统中采用的故障注入系统  33
  2.7 本章小结  33-34
第三章 单粒子事件与故障注入的研究  34-45
  3.1 单粒子事件的故障模型  35-40
    3.1.1 单粒子效应  35-36
    3.1.2 RAM的故障模型分析  36-38
      3.1.2.1 RAM的基本结构  36
      3.1.2.2 RAM的故障表现  36-37
      3.1.2.3 RAM的故障模型  37-38
    3.1.3 单粒子事件故障的模型  38-40
  3.2 单粒子事件故障注入模型  40-44
    3.2.1 FARM模型  40
    3.2.2 单粒子故障注入的模型  40-44
  3.3 本章小结  44-45
第四章 故障注入器的设计方法和实验结果  45-63
  4.1 非屏蔽中断法  46-53
    4.1.1 PFI故障注入目标板  47-51
      4.1.1.1 DS80C20芯片简介  48-50
      4.1.1.2 单片机和锁存器以及ROM/RAM连接方式  50-51
      4.1.1.3 PFI中断介绍  51
      4.1.1.4 PFI中断故障注入  51
    4.1.2 仿真器  51-52
    4.1.3 宿主机  52
    4.1.4 实验结果以及分析  52-53
  4.2 外部中断法  53-62
    4.2.1 外部中断故障注入目标板  53-54
    4.2.2 wave仿真器  54-55
    4.2.3 宿主机  55
    4.2.4 实验结果和结果分析  55-62
  4.3 本章小结  62-63
第五章 结论  63-64
参考文献  64-68
攻读学位期间发表的学术论文  68-69
致谢  69

相似论文

  1. 转轴径向跳动和转速实时检测光电系统的研究,TH822
  2. 分布式系统的故障注入方法研究,TP338.8
  3. 面向软件的故障注入工具的研究与实现,TP311.52
  4. 基于红外吸收原理的甲烷浓度检测仪,TP216
  5. 温室空气源热泵供热系统研究,S625
  6. 基于单片机和LabVIEW的静电除尘系统,X701.2
  7. 片状农业物料滚筒干燥控制系统研究,S226.6
  8. 基于回波包络的超声波入侵探测在军队警戒巡逻中的应用,E919
  9. 单片机AVR运用开发,TP368.12
  10. 中断范式下的前瞻记忆研究,B842.3
  11. 矿用电动机软起动器实验装置设计,TM343.2
  12. CAN总线技术在气象监测系统中的应用研究与实现,P409
  13. 基于GPRS的无线数据采集与传输系统设计,TP274.2
  14. 无刷直流电动机及其控制系统,TM33
  15. 基于CAN总线的医疗呼叫系统设计与实现,TN99
  16. 高精度电子天平的温度补偿与自动校准,TP274
  17. 基于DSP和单片机的可调参数心电信号发生器的设计,TP368.12
  18. SUPMAX800D系统HART通信卡的研究与设计,TP273.5
  19. 谷物脂肪酸值自动测定仪的研究与设计,TS210.7
  20. 基于Freescale MC9S12系列单片机开发板的设计,TP368.1
  21. 移动基站状态远程数据监测系统的设计与实现,TP274

中图分类: > 工业技术 > 无线电电子学、电信技术 > 雷达 > 雷达:按体制分
© 2012 www.xueweilunwen.com