Assessment of COTS microkernels by fault injection
暂无分享,去创建一个
[1] Jeffrey M. Voas,et al. Certifying Off-the-Shelf Software Components , 1998, Computer.
[2] Paulo Veríssimo,et al. The Delta-4 approach to dependability in open distributed computing systems , 1988, [1988] The Eighteenth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[3] Daniel P. Siewiorek,et al. Measuring Software Dependability by Robustness Benchmarking , 1997, IEEE Trans. Software Eng..
[4] Daniel P. Siewiorek,et al. Comparing operating systems using robustness benchmarks , 1997, Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems.
[5] Jacob A. Abraham,et al. FERRARI: A Flexible Software-Based Fault and Error Injection System , 1995, IEEE Trans. Computers.
[6] Ravishankar K. Iyer,et al. DEFINE: a distributed fault injection and monitoring environment , 1994, Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems.
[7] Kang G. Shin,et al. DOCTOR: an integrated software fault injection environment for distributed real-time systems , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.
[8] Heinz Kantz,et al. The ELEKTRA railway signalling system: field experience with an actively replicated system with diversity , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.
[9] Daniel P. Siewiorek,et al. Automated robustness testing of off-the-shelf software components , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).
[10] Jean Arlat,et al. Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..
[11] Claude Kaiser,et al. Overview of the CHORUS ® Distributed Operating Systems , 1991 .
[12] Jean Arlat,et al. Can we rely on COTS microkernels for building fault-tolerant systems? , 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
[13] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[14] Ravishankar K. Iyer,et al. FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults , 1993, IEEE Trans. Software Eng..
[15] Jean-Claude Laprie,et al. Dependable computing: concepts, limits, challenges , 1995 .
[16] 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.
[17] Chorus Systemes,et al. Overview of the CHORUS? Distributed Operating Systems , 1991 .
[18] Sean Landis,et al. Building Reliable Distributed Systems with CORBA , 1997, Theory Pract. Object Syst..
[19] Henrique Madeira,et al. Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers , 1998, IEEE Trans. Software Eng..