期刊文献+

采用数据流图的故障模型生成算法及其应用 被引量:4

A generation algorithm and its application for fault model established with data flow graph
下载PDF
导出
摘要 为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现. To solve the problem that it is difficult to model the system-level fault injection experiment efficiently, this paper presents a novel method for fault model construction, which constructs the dynamic fault tree using the language level data flow graph. Through analyzing the data flow of fault process, the data dependence relations are found out, and a generation algorithm of the fault model is proposed. Compared with other algo- rithms, the algorithm presented in this paper processes the dynamic characteristic. Moreover, it can increase the fault coverage, reduce the system cost and make it easier to implement the fault injection experiment.
出处 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第1期118-121,共4页 Journal of Harbin Institute of Technology
基金 国防科工委“十五”预研基金资助项目(417010402) 国家自然科学基金资助项目(60671049)
关键词 数据流图 故障模型 故障注入 故障覆盖率 data flow graph fault model fault injection fault coverage
  • 相关文献

参考文献8

  • 1FUJIWARA H, SHIMONO T. On the acceleration of test generation algorithms [ J ]. IEEE Transactions on Communications, 1983, 30(3) :215 - 222.
  • 2GOEL P. An implicit enumeration algorithm to generate tests for combinational logic circuits[ J ]. IEEE Transactions on Computers, 1981, C - 30 (3) :215 - 222.
  • 3LOMELINO D, LYER R K. Error propagation in a digital avionic processor: A simulation-based study[ C ]// Proc Real Time System Symp. New Orleans: [ s. n. ] , 1986:218 - 225.
  • 4VOAS P J. A dynamic failure-based techniques [ J ]. IEEE Transactions on Software Engineering, 1992, 18 (8) :717 -727.
  • 5MILLER M, JHUMKA A, SURI N. EPIC:Profiling the propagation and effect of data errors in software [ J ]. IEEE Trans on Computers, 2004, 53 (5) :512 -530.
  • 6POPIC P, DESOVSKI D, MOEZ W A, et al. Error propagation in the reliability analysis of component based systems [ C ]//The16th IEEE Transactions on Software Reliability Engineering( ISSRE' 05 ). Chicago : [ s. n. ] , 2005:53 - 62.
  • 7ARLAT. Fault injection for dependability validation: Amethodology and some applications [ J ]. IEEE Trans Software Engineering, 1990,16(2) : 166 - 182.
  • 8KANAWATI G, LANAWATI N, ABRAHAM J. FERRARI: A tool for the validation of system dependability propeties [ J ]. Digest of Papers, 1992, FTCS - 22 : 336 -344.

同被引文献22

引证文献4

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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