Fault injection into VHDL models: the MEFISTO tool
暂无分享,去创建一个
[1] Ram Chillarege,et al. Understanding large system failures-a fault injection experiment , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[2] Ravishankar K. Iyer,et al. Experimental analysis of computer system dependability , 1996 .
[3] David A. Patterson,et al. Computer Architecture: A Quantitative Approach , 1969 .
[4] Daniel Gajski,et al. Top-down modeling of RISC processors in VHDL , 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.
[5] Alexander Miczo. VHDL as a modeling-for-testability tool , 1990, Digest of Papers Compcon Spring '90. Thirty-Fifth IEEE Computer Society International Conference on Intellectual Leverage.
[6] Charles Robert Yount. The automatic generation of instruction-level error manifestations of hardware faults: a new fault-injection model , 1993 .
[7] Jacob A. Abraham,et al. FERRARI: a tool for the validation of system dependability properties , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.
[8] Johan Karlsson,et al. Using heavy-ion radiation to validate fault-handling mechanisms , 1994, IEEE Micro.
[9] Marcus Rimén,et al. A study of the effects of transient fault injection into a 32-bit RISC with built-in watchdog , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.
[10] Jean Arlat,et al. Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..
[11] Jeffrey M. Voas,et al. PIE: A Dynamic Failure-Based Technique , 1992, IEEE Trans. Software Eng..
[12] Daniel P. Siewiorek,et al. FIAT-fault injection based automated testing environment , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.