Caractérisation de systèmes d'exploitation en présence de pilotes défaillants - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2005

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

Résumé

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.
Les pilotes de périphériques composent désormais une part essentielle des systèmes d'exploitation. Plusieurs études montrent qu'ils sont fréquemment à l'origine des dysfonctionnements des systèmes opératoires. Dans ce mémoire, nous présentons une méthode pour l'évaluation de la robustesse des noyaux face aux comportements anormaux des pilotes de périphériques. Pour cela, après avoir analysé et précisé les caractéristiques des échanges entre les pilotes et le noyau (DPI - Driver Programming Interface), nous proposons une technique originale d'injection de fautes basée sur la corruption des paramètres des fonctions manipulées au niveau de cette interface. Nous définissons différentes approches pour l'analyse et l'interprétation des résultats observés pour obtenir des mesures objectives de sûreté de fonctionnement. Ces mesures permettent la prise en compte de différents points de vue afin de répondre aux besoins réels de l'utilisateur. Enfin, nous illustrons et validons l'applicabilité de cette méthode par sa mise en Suvre dans le cadre d'un environnement expérimental sous Linux. La méthode proposée contribue à la caractérisation de la sûreté de fonctionnement des noyaux vis-à-vis des défaillances des pilotes du système. L'impact des résultats est double : a) permettre au développeur de tels logiciels d'identifier les faiblesses potentielles affectant la sûreté de fonctionnement du système, b) aider un intégrateur dans le choix du composant le mieux adapté à ses besoins.
Fichier principal
Vignette du fichier
tel-00010056.pdf (2.62 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00010056 , version 1 (07-09-2005)

Identifiants

  • HAL Id : tel-00010056 , version 1

Citer

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. ⟨NNT : ⟩. ⟨tel-00010056⟩
210 Consultations
2461 Téléchargements

Partager

Gmail Facebook X LinkedIn More