期刊文献+

故障注入形式化模型研究 被引量:5

Study of the formal fault injection model
下载PDF
导出
摘要 本文在讨论了故障和容错机制与故障注入模型相关的几个问题之后,提出了一种形式化的故障注入模型框架,并给出了其应用算法。 After discussing some question of fault and fault-tolerant about fault injection model, a formal fault injection model and its application algorithm is expressed in this paper.
机构地区 军械技术研究所
出处 《微计算机信息》 北大核心 2007年第22期198-199,227,共3页 Control & Automation
关键词 故障注入 容错 fault injection, fault-tolerant.Class number: TP393
  • 相关文献

参考文献3

  • 1R. K. Iyer, D. Tang. Experimental Analysis of Computer System Dependability. Chap 5 of Fault-Tolerant Computer System Design, D. K. Pradhan, Prentice Hall, 1996:282-344
  • 2A. Benso, P. L. Clivera, M. Rebaudengo, M. S. Reorda. A Low Cost Programmable Board for Speeding-Up Fault Injection in Microprocessor-Based Systems. Proc. IEEE Int. Symp. on Reliability & Maintainability, 1999:171-177
  • 3李美安,刘心松,王征.非稳定环境下基于竞争消息复杂度的分布式互斥节点容错算法[J].微计算机信息,2005,21(12X):145-146. 被引量:9

二级参考文献2

共引文献8

同被引文献42

  • 1许斌,周鸣岐.测试点优化及故障诊断树生成技术[J].国外电子测量技术,2006,25(3):15-19. 被引量:19
  • 2江建慧,梁剑华,靳昂,胡瑾.Linux上软件实现的瞬时故障注入方案及实现[J].同济大学学报(自然科学版),2006,34(6):823-827. 被引量:8
  • 3徐珞,吴际,刘超.一种模型驱动的协议测试故障注入引擎设计[J].计算机工程与应用,2007,43(16):111-113. 被引量:3
  • 4Rahael R.Some,Won S.Kim, A Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance. 0-7695-1101-5 IEEE, 2001.
  • 5Astrit Ademaj, Petr Grillinger, Pavel Herout.Fault Tolerance Evaluation Using Two Software Based Fault Injection Methods. The Eighth IEEE International On-Line Testing Workshop, 2002.
  • 6Aidemark J,Vinter J,Folkesson P,Karlsson J. Goofi:generic,object-oriented fault injection tool [A]. DSN2001[C].Gothenburg,Sweclen,tEEE,2001:1-6.
  • 7CARREIRA J,MADEIRA H,SILVA J G.Exception:soflware fault injection and monitoring in processor functional units [J].IEEE Trans on Software Engineering,1998,24(2): 1-25.
  • 8KUMAR S, JANTSCH A, MILLBERG M, et al. A network on chip architecture and design methodology. ISVLSI'02. Pittsburgh, 2002:105-112.
  • 9PANDE P P, GANGULY A, FEERO B, et al. Design of low power & reliable networks on chip through joint crosstalk avoidance and forward error correction coding [C]. IEEE DFT'06.Arlingto, 2006:466-476.
  • 10ALI M, WELZL M, HESSLER S. et al. A fault tolerant mechanism for handling permanent and transient failures in a network on chip. ITNG'07. Las Vegas, 2007: 1027-1032.

引证文献5

二级引证文献18

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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