Evaluating fault-tolerant system designs using FAUmachine

ABSTRACT

This paper presents an elaborate framework for early evaluation of fault-tolerant behaviour of complex hardware/software systems in the presence of hardware faults. The evaluation is based on sophisticated fault injection experiments. An illustrative example for such experiments is discussed in some details.

REFERENCES

• 1: Jean Arlat , Martine Aguera , Louis Amat , Yves Crouzet , Jean-Charles Fabre , Jean-Claude Laprie , Eliane Martins , David Powell, Fault Injection for Dependability Validation: A Methodology and Some Applications, IEEE Transactions on Software Engineering, v.16 n.2, p.166-182, February 1990 [doi>10.1109/32.44380]
• 2: J. H. Barton , E. W. Czeck , Z. Z. Segall , D. P. Siewiorek, Fault Injection Experiments Using FIAT, IEEE Transactions on Computers, v.39 n.4, p.575-582, April 1990 [doi>10.1109/12.54853]
• 3: F. Bellard. QEMU Open source processor emulator. URL: http://fabrice.bellard.free.fr/qemu/, 2007.
• 4: Aaron Brown , David A. Patterson, Towards availability benchmarks: a case study of software raid systems, Proceedings of the annual conference on USENIX Annual Technical Conference, p.22-22, June 18-23, 2000, San Diego, California
• 5: J. Carreira, H. Madeira, and J. G. Silva. Xception: Software fault injection and monitoring in processor functional units. In 5th International Working Conference on Dependable Computing for Critical Applications, pages 135--149, 1995.
• 6: G. J. Carrette. Crashme. URL: http://people.delphi.com/gjc/crashme.html, 1996.
• 7: Debian Developers. Debian GNU/Linux. URL: http://www.debian.org/, 2007.
• 8: Debian Developers. Debian installation DVD. URL: http://cdimage.debian.org/debian-cd/4.0_r0/i386/isodvd/ debian-40r0-i386-DVD-1.iso, 2007.
• 9: FAU machine Team. FAU machine. URL: http://www.FAUmachine.org/, 2003--2007.
• 10: H. Höxer, M. Waitz, and V. Sieh. Advanced virtualization techniques for FAUmachine. In R. Spenneberg, editor, 11th International Linux System Technology Conference, Erlangen, Germany, September 7-10, 2004, pages 1--12, 2004.
• 11: E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, and J. Karlsson. Fault injection into VHDL models: The MEFISTO tool. In Proceedings of the 24th IEEE International Symposium on Fault Tolerant Computing, pages 66--75, 1994.
• 12: G. Kanawati, N. Kanawati, and J. Abraham. FERRARI: A tool for the validation of system dependability properties. In Proceedings of the 22th IEEE International Symposium on Fault Tolerant Computing, pages 336--344, 1992.
• 13: K. Kanoun, J. Arlat, D. Costa, M. Dal Cin, P. Gil, J.-C. Laprie, H. Madeira, and N. Suri. Dbench -- dependability benchmarking. In Supplement of the Int. Conf. on Dependable Systems and Networks, pages 12--15, 2001.
• 14: R. Rivest, The MD5 Message-Digest Algorithm, RFC Editor, 1992
• 15: M. Rodríguez, F. Salles, J. C. Fabre, and J. Arlat. MAFALDA: Microkernel assessment by fault injection and design aid. In 3rd European Dependable Computing Conference, pages 208--217, 1993.
• 16: Volkmar Sieh , Oliver Tschäche , Frank Balbach, VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions, Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97), p.32, June 25-27, 1997
• 17: Source Forge. Bochs x86 PC emulator project. URL: http://sourceforge.net/projects/bochs/, 2006.
• 18: T. K. Tsai , R. K. Iyer , D. Jewitt, An approach towards benchmarking of fault-tolerant commercial systems, Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96), p.314, June 25-27, 1996
• 19: VMware Inc. VMware. URL: http://www.vmware.com/, 2007.