Characterization of Operating Systems Behavior in the presence of Faulty Drivers through Software Fault Emulation



This paper proposes a practical way to evaluate the behavior of commercial-off-the-shelf (COTS) operating systems in the presence of faulty device drivers. The proposed method is based on the emulation of software faults in target device drivers and the observation of the behavior of the system and of a workload regarding a comprehensive set of failure modes analyzed according to different dimensions. The emulation of software faults itself is done through the injection at machine-code level of selected mutations that represent the code produced when typical programming errors are made in the high-level language code. An important aspect of the proposed methodology is the use of simple and established practices to evaluate operating systems failure modes, thus allowing its use as a dependability benchmarking technique. The generalization of the methodology to any software system built of discrete and identifiable components is also discussed.


Fault Injection, Software Fault, Emulation, Dependability Evaluation


Software Fault Emulation and Injection

Related Project

DBench - Dependability Benchmarking


The Pacific Rim International Dependability Symposium, PRDC-2002, December 2002

Cited by

Year 2009 : 1 citations

 Constantin Sarbu, "Operational Pro_ling of OS Drivers?, PhD thesis, University of Darmstadt, Alemanha, 2009

Year 2007 : 2 citations

 Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller, "A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations?, Technical Report, Institut National de Recherche en Informatique et en Automatique, INRIA, February, 2007.

 Manuel Mendonça, Nuno Ferreira Neves, Robustness Testing of the Windows DDK, Proceedings of the International Conference on Dependable Systems and Networks (DSN), Edinburgh, UK, June 2007.

Year 2006 : 1 citations

 S Tixeuil, LM Silva, W Hoarau, "An Overview of Existing Tools for Fault-Injection and Dependability Benchmarking in Grids?, Second CoreGRID Workshop on Grid and Peer to Peer Systems, 2006

Year 2004 : 3 citations

 Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, "Benchmarking Operating System Dependability: Windows 2000 as a Case Study?, 10th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC2004, Papeete, Tahiti, French Polynesia, 03 a 05 de Março de 2004.

 Ali Kalakech, Karama Kanoun, Yves Crouzet and Jean Arlat, "Benchmarking The Dependability of Windows NT4, 2000 and XP?, IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2004, Florença, Itália, 28 Junho a 1 Julho de 2004.

 Arnaud Albinet, Jean Arlat, Jean-Charles Fabre, "Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel?, IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2004, Florença, Itália, 28 Junho a 1 Julho de 2004.

Year 2003 : 1 citations

 Raviteja Varanasi, "Software Faults and Fault Injection Models?, Project of the coursework for CSC53, Advanced Software Engineering, Lousiana Tech University, USA, 2003