FERRARI: a tool for the validation of system dependability properties
暂无分享,去创建一个
Jacob A. Abraham | N. A. Kanawati | Ghani A. Kanawati | Nasser A. Kanawati | J. Abraham | G. Kanawati
[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] Jean Arlat,et al. Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..
[3] Daniel P. Siewiorek,et al. Fault Injection Experiments Using FIAT , 1990, IEEE Trans. Computers.
[4] Suku Nair,et al. Algorithm-Based Fault Tolerance on a Hypercube Multiprocessor , 1990, IEEE Trans. Computers.
[5] John Paul Shen,et al. Continuous signature monitoring: low-cost concurrent detection of processor control errors , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[6] Krishna Kant,et al. Synthesizing Robust Data STructures - An Introduction , 1990, IEEE Trans. Computers.
[7] Johan Karlsson,et al. Evaluation of error detection schemes using fault injection by heavy-ion radiation , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[8] Ravishankar K. Iyer,et al. Measurement-Based Analysis of Error Latency , 1987, IEEE Transactions on Computers.
[9] 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.
[10] Kien A. Hua,et al. Design of Systems with Concurrent Error Detection Using Software Redundancy , 1986, FJCC.
[11] Jean Arlat,et al. Fault injection for dependability validation of fault-tolerant computing systems , 1989, [1989] The Nineteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[12] Luke T. Young,et al. A Hybrid Monitor Assisted Fault Injection Environment , 1993 .
[13] Kang G. Shin,et al. Measurement and Application of Fault Latency , 1986, IEEE Transactions on Computers.
[14] James P. Black,et al. Redundancy in Data Structures: Improving Software Fault Tolerance , 1980, IEEE Transactions on Software Engineering.
[15] John Paul Shen,et al. Processor Control Flow Monitoring Using Signatured Instruction Streams , 1987, IEEE Transactions on Computers.