Evaluating fault-tolerant system designs using FAUmachine

Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS '07

Volumn , Issue , 2007, Pages

  Potyra, S ^a   Sieh, V ^a   Cin, M Dal ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EARLY EVALUATION; FAULT INJECTION; FAULT-TOLERANT; FAULT-TOLERANT SYSTEMS; HARDWARE FAULTS; HARDWARE/SOFTWARE; ILLUSTRATIVE EXAMPLES;

COMPUTATION THEORY; EXPERIMENTS; QUALITY ASSURANCE; RELIABILITY; TECHNICAL PRESENTATIONS;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 70449744103     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1316550.1316559     Document Type: Conference Paper

References (19)

1. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.-C. Laprie, E. Martins, and D. Powell. Fault injection for dependability validation: A methodology and some applications. IEEE Transactions on Software Engineering, 16(2):166-182, 1990. (Pubitemid 20666028)
2. J. Barton, E. Czeck, Z. Segall, and D. Siewiorek. Fault injection experiments using FIAT. IEEE Transactions on Computers, 39(4):575-582, 1990. (Pubitemid 20702270)
3. F. Bellard. QEMU Open source processor emulator. URL: http://fabrice.bellard.free.fr/qemu/, 2007.
4. A. Brown and D. A. Patterson. Towards availability benchmarks: a case study of software raid systems. In ATEC'00: Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, pages 22-22, Berkeley, CA, USA, 2000. USENIX Association.
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. FAUmachine Team. FAUmachine. URL: http://www.FAUmachine.org/, 2003-2007.
10. 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. RFC 1321-the md5 message-digest algorithm. URL: http://www.faqs.org/rfcs/rfc1321.html, 1992.
15. M. Rodŕ?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. V. Sieh, O. Tschäche, and F. Balbach. VERIFY: Evaluation of reliability using VHDL-models with integrated fault descriptions. In Proceedings of the 27th IEEE International Symposium on Fault Tolerant Computing, pages 32-36, 1997.
17. Source Forge. Bochs x86 PC emulator project. URL: http://sourceforge.net/ projects/bochs/, 2006.
18. T. K. Tsai, R. K. Iyer, and D. Jewitt. An approach towards benchmarking of fault-tolerant commercial systems. In Symposium on Fault-Tolerant Computing, pages 314-323, 1996.
19. VMware Inc. VMware. URL: http://www.vmware.com/, 2007.