Characterization of the impact of faulty drivers on the robustness of the Linux kernel

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 867-876

  Albinet, Arnaud ^a   Arlat, Jean ^a   Fabre, Jean Charles ^a  

^a LAAS CNRS   (France)

Author keywords

Characterization of Failure Modes; Evaluation; Fault Injection; Operating Systems; Testing

Indexed keywords

BENCHMARKING; CODING ERRORS; COMPUTER HARDWARE; COMPUTER SOFTWARE; COMPUTER SYSTEMS; EVALUATION; ROBUSTNESS (CONTROL SYSTEMS); TESTING;

DRIVER PROGRAMMING INTERFACE (DPI); FAULT INJECTION TECHNIQUES; FAULTY DRIVERS; LINUX KERNEL;

COMPUTER OPERATING SYSTEMS;

EID: 4544246904     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311957     Document Type: Conference Paper

References (24)

1. P. Koopman, J. DeVale, "Comparing the Robustness of POSIX Operating Systems," Proc. IEEE FTCS-29, Madison, WI, USA, 1999, pp. 30-37.
2. J. Arlat, J.-C. Fabre, M. Rodriguez, F. Salles, "Dependability of COTS Microkernel-Based Systems," IEEE Trans. on Computers, vol. 51, no. 2, pp. 138-163, February 2002.
3. E. Marsden, J.-C. Fabre, J. Arlat, "Dependability of CORBA Systems: Service Characterization by Fault Injection," Proc. IEEE SRDS-2002, Osaka, Japan, 2002, pp. 276-285.
4. M. Vieira, H. Madeira, "Benchmarking the Dependability of Different OLTP Systems," Proc. IEEE/IFIP DSN-2003, San Francisco, CA, USA, 2003, pp. 305-310.
5. H. Madeira, R. Some, F. Moreira, D. Costa, D. Rennels, "Experimental Evaluation of a COTS System for Space Applications," Proc. IEEE DSN-2002, Washington, DC, USA, 2002, pp. 325-330.
6. T. K. Tsai, R. K. Iyer, D. Jewitt, "An Approach Towards Benchmarking of Fault-Tolerant Commercial Systems," Proc. IEEE FTCS-26, Sendai, Japan, 1996, pp. 314-323.
7. A. Mukherjee, D. P. Siewiorek, "Measuring Software Dependability by Robustness Benchmarking," IEEE Trans. on Software Eng., vol. 23, no. 6, pp. 366-378, June 1997.
8. A. Brown, D. A. Patterson, 'Towards Availability Benchmarks: A Case Study of Software RAID Systems," Proc. USENIX 2000, San Diego, CA, USA, 2000.
9. J. Zhu, J. Mauro, I. Pramanick, "Robustness Benchmarking for Hardware Maintenance Events," Proc. IEEE/IFIP DSN-2003, San Francisco, CA, USA, 2003, pp. 115-122.
10. K. Kanoun, H. Madeira, J. Arlat, "A Framework for Dependability Benchmarking," Suppl. Vol. IEEE/IFIP DSN-2002 - Washington, DC, USA, 2002, pp. F.7-F.8 - http://www.laas.fr/DBench.
11. M. W. Godfrey, Q. Tu, "Evolution in Open Source Software: A Case Study," in Proc. IEEE ICSM-2000, San Jose, CA, USA, 2000, pp. 131-142.
12. W. Gu, Z. Kalbarczyk, R. K. Iyer, Z. Yang, "Characterization of Linux Kernel Behavior under Errors," Proc. IEEE/IFIP DSN-2003, San Francisco, CA, USA, 2003, pp. 459-468.
13. B. Murphy, B. Levidow, "Windows 2000 Dependability," Suppl. Vol. IEEE/IFIPDSN-2000, New York, NY, USA, 2000, pp. D.20-D.28.
14. A. Chou, J.-F. Yang, B. Chelf, S. Hallem, D. Engler, "An Empirical Study of Operating System Errors," Proc. ACM18th SOSP, Chateau Lake Louise, Banff, Canada, 2001.
15. J. Carreira, H. Madeira, J. G. Silva, "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers," IEEE Trans. on Software Engineering, vol. 24, no. 2, pp. 125-136, February 1998.
16. D. Edwards, L. Matassa, "An Approach to Injecting Faults into Hardened Software," Proc. OLS, Ottawa, ON, Canada, 2002, pp. 146-175.
17. J. Durães, H. Madeira, "Mutidimensional Characterization of the Impact of Faulty Drivers on the Operating Systems Behavior," IEICE Trans. on Information and Systems, vol. E86-D, no. 12, pp. 2563-2570, December 2003.
18. A. Kalakech, K. Kanoun, Y. Crouzet, J. Arlat, "Benchmarking the Dependability of Windows NT4, 2000 and XP," Proc. IEEE/IFIP DSN-2004, Florence, Italy, 2004.
19. J. Durães, H. Madeira, "Emulation of Software Faults by Selective Mutations at Machine-code Level," Proc. IEEE ISSRE-2002, Annapolis, MD, USA, 2002, pp. 329-340.
20. T. Jarboui, J. Arlat, Y. Crouzet, K. Kanoun, T. Marteau, "Impact of Internal and External Software Faults on the Linux Kernel," IEICE Trans. Inf. & Syst., vol. E86-D, no. 12, pp. 2571-2578, December 2003.
21. W. Zaatar, I. Ouaiss, "A Comparative Study of Device Driver APIs Towards A Uniform Linux Approach," Proc. Ottawa Linux Symp., Ottawa, ON, Canada, 2002, pp. 407-413.
22. M. Rodríguez, A. Albinet, J. Arlat, "MAFALDA-RT: A Tool for Dependability Assessment of Real Time Systems," Proc. IEEE/IFIP DSN-2002, Washington, DC, USA, 2002, pp. 267-272.
23. H. Härting, M. Hohmuth, J. Liedtke, S. Schönberg, J. Wolter, "The Performance of μ-Kernel-Based Systems," Proc. ACM 16th SOSP'97, Saint-Malo, France, 1997, pp. 66-77.
24. L. Réveillère, G. Muller, "Improving Driver Robustness: An Evaluation of the Devil Approach," Proc. IEEE/IFIP DSN-2001, Göteborg, Sweden, 2001, pp. 131-140.