期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于虚拟机的单粒子翻转故障注入方法 被引量：1

A Method of Single Event Upset Fault Injection Based on Virtual Machine
下载PDF
导出
摘要 空间高能带电粒子对航天器的电子器件会造成辐射损伤,其中单粒子效应对航天工程的威胁正在增大,甚至会带来严重后果.单粒子效应包括单粒子翻转、单粒子锁定和单粒子击穿3种主要类型,其中以单粒子翻转最为常见.为了容忍、纠正、避免这类问题,实现高可靠性和高安全性,需要应用容错、纠错、避错的措施.而单粒子翻转故障注入系统是验证针对单粒子翻转现象措施有效性的工具.介绍了一种与当前流行的方案迥异的单粒子翻转故障注入方案,即基于虚拟机对上层的目标操作系统及操作系统的任务程序进行故障注入,避免了对目标系统软件代码插桩造成的差异性影响,也节省了昂贵的硬件故障注入器的开发成本,并对同一操作系统下的不同任务软件具有一定通用性.最后以基于虚拟机Xen的故障注入器为例,验证方案的可行性. 空间高能带电粒子对航天器的电子器件会造成辐射损伤,其中单粒子效应对航天工程的威胁正在增大,甚至会带来严重后果.单粒子效应包括单粒子翻转、单粒子锁定和单粒子击穿3种主要类型,其中以单粒子翻转最为常见.为了容忍、纠正、避免这类问题,实现高可靠性和高安全性,需要应用容错、纠错、避错的措施.而单粒子翻转故障注入系统是验证针对单粒子翻转现象措施有效性的工具.介绍了一种与当前流行的方案迥异的单粒子翻转故障注入方案,即基于虚拟机对上层的目标操作系统及操作系统的任务程序进行故障注入,避免了对目标系统软件代码插桩造成的差异性影响,也节省了昂贵的硬件故障注入器的开发成本,并对同一操作系统下的不同任务软件具有一定通用性.最后以基于虚拟机Xen的故障注入器为例,验证方案的可行性.
作者 周玉宇 尚利宏 吕紫旭
机构地区 北京航空航天大学
出处 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期153-157,共5页 Journal of Computer Research and Development
关键词 故障注入 单粒子翻转 虚拟机 XEN fault injection single event upset virtual machine Xen
分类号 TP3 [自动化与计算机技术—计算机科学与技术]
  • 相关文献

参考文献20

  • 1虞健飞.故障注入在航电系统测试过程中的应用[J].航空制造技术,2009,52(8):92-94. 被引量：6
  • 2贺朝会,耿斌,王燕萍,杨海亮,张正选,陈晓华,李国政,路秀琴,符长波,赵葵,郭继宇,张新.静态随机存取存储器重离子单粒子翻转效应实验研究[J].核电子学与探测技术,2002,22(2):155-157. 被引量：9
  • 3陈晓华,贺朝会,王燕平.80C86单粒子效应实验研究[J].原子能科学技术,2000,34(4):344-346. 被引量：4
  • 4Wallmark J T,Marcus S M.Minimum size and maximunpacking density of nonredundant semiconductor devices. Proceedings of Institute of Radio Engineers . 1962
  • 5Brinder D,et al.Satellite anomelies from galactic cosmicrays. IEEE Transactions on Nuclear Science . 1975
  • 6Product Assureanc&Safety Department and Automation&Informatics Department European Space Research andTechnology Centre.The Radiation Design Handbook. . 1993
  • 7Fabrice bellard.QEMU:A fast and portable dynamictranslator. Proc of the 2005 USENIX Annual TechnicalConf . 2005
  • 8Benoit des Ligneris.Virtualization of Linux basedcomputers:The Linux-VServer project. Proc of the 19th IntSymp on High Performance Computing Systems andApplications . 2005
  • 9SWsoft Inc.Virtuozzo Management of System Resources Administer’’’’s Guide.Version 3.0. . 2006
  • 10M.Rodriguez,J.Arlat,J.C.Fabre.Building SWIFI tools from temporal logic specifications. Intl.Conf.on Dependable Systems and Networks . 2003

二级参考文献6

  • 1戴梅萼.微型计算机技术及应用[M].北京:清华大学出版社,1993.13.
  • 2Buchner S, et al. Laboratory tests for single event effects[J]. IEEE Trans Nucl Sci, 1996, NS43(2):678.
  • 3阮德生，自动测试技术与计算机仪器系统设计，1997年，172页
  • 4戴梅萼，微型计算机技术及应用，1993年，13页
  • 5唐 棠，微型计算机与接口技术，1993年，124页
  • 6贺朝会,杨海亮,耿斌,陈晓华,李国政,刘恩科,罗晋生.静态随机存取存储器质子单粒子效应实验研究[J].核电子学与探测技术,2000,20(4):253-257. 被引量：12

共引文献15

同被引文献12

  • 1Jens Eickhoff. Simulating Spacecraft Systems [M]. Berlin, Germany: Springer-Verlag Press, 2009.
  • 2James E Smith. Virtual Machines Versatile Platforms for Systems and Processes [M]. USA: Morgan Kauffman, 1999.
  • 3SPARC 7 Instruction Set [Z]. Germany: SPARC International, Inc, 2000.
  • 4The SPARC Architecture Manual v7 [Z]. Germany: SPARC International, Inc, 2000.
  • 5Embedded Processor 32-bit SPARC User's Manual [K]. Germany: SPARC International, Inc, 2000.
  • 6门斯布吕克,吉尔.卫星轨道:模型、方法和应用[M].1版.北京:国防工业出版社,2012.
  • 7Petit G, Luzum B, AI E. IERS Conventions (2010) [Z]. McCarthy, USA: IERS Conventions Centre, 2010.
  • 8蓝枫叶.自己动手写嵌入式操作系统[M].2版.北京:电子工业出版社,2009.
  • 9西迪.航天器动力学与控制[M].1版.北京:航空工业出版社,2011.
  • 10杨海峰,张发家,刘吉霞,刁奇.卫星在轨故障全数字仿真平台设计[J].航天器工程,2012,21(4):21-25. 被引量：2

引证文献1

二级引证文献4

计算机研究与发展
2010年 第S1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部