Framework for testing the fault-tolerance of systems including OS and network aspects

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2001-January, Issue , 2001, Pages 95-105

  Buchacker, Kerstin ^a   Sieh, Volkmar ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Automatic testing; Computer networks; Computer peripherals; Fault tolerant systems; Joining processes; Linux; Operating systems; System testing; Utility programs; Virtual machining

Indexed keywords

AUTOMATIC TESTING; COMPUTER NETWORKS; COMPUTER PERIPHERAL EQUIPMENT; COMPUTER TESTING; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; LINUX; SYSTEMS ENGINEERING; UTILITY PROGRAMS;

COMPUTER PERIPHERALS; FAULT TOLERANT SYSTEMS; JOINING PROCESS; SYSTEM TESTING; VIRTUAL MACHINING;

COMPUTER OPERATING SYSTEMS;

EID: 84863434545     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2001.966811     Document Type: Conference Paper

References (24)

1. I. S. 1003. 1b 1993. IEEE Standard for Information Technology-Portable Operating System Interface (POSIX)-Part 1: System Application Program Interface (API)-Amendment 1: Realtime Extension [C Language], 1994.
2. J. Barton, E. Czeck, Z. Segall, and D. Siewiorek. Fault injection experiments using FIAT. IEEE Transactions on Computers, 39(4):575-582, 1990.
3. D. P. Bovet and M. Cesati. Understanding the Linux Kernel. O'Reilly & Associates, Inc., 2000.
4. 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.
5. G. J. Carrette. Crashme. URL: http://people. delphi. com/gjc/crashme. html, 1996.
6. DBench-Dependability Benchmarking (Project IST-2000-25425). Coordinator: Laboratoire d'Analyse et d'Architecture des Systèmes du Centre National de la Recherche Scientifique, Toulouse, France; Partners: Chalmers University of Technology, Göteborg, Sweden; Critical Software, Coimbra, Portugal; Faculdade de Ciencias e Technologia da Universidade de Coimbra, Portugal; Friedrich-Alexander Universität, Erlangen-Nürnberg, Germany; Microsoft Research, Cambridge, UK; Universidad Politechnica de Valencia, Spain. URL: http://www. laas. fr/DBench/, 2001.
7. J. Dike. A user-mode port of the Linux kernel. In Proceedings of the 4th Annual Linux Showcase & Conference, 2000.
8. U. Gunneflo, J. Karlsson, and J. Torin. Evaluation of error detection schemes using fault injection by heavy-ion radiation. In Proceedings of the 19th IEEE International Symposium on Fault Tolerant Computing, pages 340-347, 1989.
9. 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.
10. 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.
11. J. Karlsson, P. Folkesson, J. Arlat, Y. Crouzet, G. Leber, and J. Reisinger. Application of three physical fault injection techniques to the experimental assessment of the MARS architecture. In 5th International Working Conference on Dependable Computing for Critical Applications, 1995.
12. N. Kropp, P. J. Koopman, and D. P. Siewiorek. Automated robustness testing of off-the-shelf software components. In Proceedings of the 28th IEEE International Symposium on Fault Tolerant Computing, pages 230-239, 1998.
13. Linux Programmer's Manual. Included in any Linux distribution, 2001.
14. H. Madeira, M. Rela, and J. G. Silva. RIFLE: A general purpose pin-level fault injector. In 1st European Dependable Computing Conference, pages 199-216, 1994.
15. B. P. Miller, D. Koski, C. P. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. Steidl. Fuzz revised: A re-examination of the reliability of UNIX utilities and services. Computer Science Technical Report 1268, University of Wisconsin-Madison, 1995.
16. M. Rodríguez, F. Salles, J. C. Fabre, and J. Arlat. MAFALDA: M icrokernel assessment by fault injection and design aid. In 3rd European Dependable Computing Conference, pages 208-217, 1993.
17. J. R. Sampson, W. Moreno, and F. Falquez. A technique for automatic validation of fault tolerant designs using laser fault injection. In Proceedings of the 28th IEEE International Symposium on Fault Tolerant Computing, pages 162-167, 1998.
18. J. Scambray, S. McClure, and G. Kurtz. Hacking Exposed, 2nd Edition. McGraw-Hill, New York, 2000.
19. V. Sieh. Fault-injector using UNIX ptrace interface. Internal Report 11/93, IMMD3, Universität Erlangen-Nürnberg, 1993.
20. 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.
21. A. Steininger and C. Scherrer. On finding an optimal combination of error detection mechanisms based on results of fault injection experiments. In Proceedings of the 27th IEEE International Symposium on Fault Tolerant Computing, pages 238-247, 1997.
22. W. R. Stevens. Advanced Programming in the UNIX Environment. Addison-Wesley Publishing Company, Reading MA, 1992.
23. A. S. Tanenbaum. Modern Operating Systems. Prentice-Hall, Inc., Englewood Cliffs, NJ, 2001.
24. VMware Inc. VMware. URL: http://www. vmware. com/, 2001.