Skip to Main content Skip to Navigation

Caractérisation de systèmes d'exploitation en présence de pilotes défaillants

Arnaud Albinet 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Device drivers are becoming the most significant part of operating system kernels. Several studies have shown that such drivers are the most important source for operating system malfunctions. In this dissertation, we develop a method for objectively characterizing the impact of faulty drivers on the robustness of the kernels. First, elaborating on the analysis and specification of the way device drivers interact with the kernel (DPI - Driver Programming Interface), we propose a novel technique based on a series of controlled experiments using fault injection targeting the kernel core function parameters. We are also defining various approaches for analysing and interpreting the observed results to derive sensible dependability measures that accommodate various points of view in order to meet the real needs of the user of the method. Finally, experiments targeting the Linux kernel are reported that illustrate and validate the method. The proposed method contributes to the dependability characterization of kernels with respect to faulty drivers of the system. The impact of the results is twofold: a) allow the developer of such software components to identify the potential weaknesses that may impair dependability, b) support an integrator in selecting of the best component suited to its needs.
Complete list of metadata

Cited literature [67 references]  Display  Hide  Download
Contributor : Emilie Marchand <>
Submitted on : Wednesday, September 7, 2005 - 1:56:59 PM
Last modification on : Thursday, June 10, 2021 - 3:07:01 AM
Long-term archiving on: : Friday, September 14, 2012 - 2:15:09 PM


  • HAL Id : tel-00010056, version 1


Arnaud Albinet. Caractérisation de systèmes d'exploitation en présence de pilotes défaillants. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨tel-00010056⟩



Record views


Files downloads