Fine-grain analysis of common coupling and its application to a Linux case study
Journal of Systems and Software
Information Assurance: Dependability and Security in Networked Systems
Information Assurance: Dependability and Security in Networked Systems
The Linux kernel as a case study in software evolution
Journal of Systems and Software
Execution path profiling for OS device drivers: viability and methodology
ISAS'08 Proceedings of the 5th international conference on Service availability
Profiling the operational behavior of OS device drivers
Empirical Software Engineering
The impact of fault models on software robustness evaluations
Proceedings of the 33rd International Conference on Software Engineering
A case study on state-based robustness testing of an operating system for the avionic domain
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Evaluation of the device driver availability in dawning4000a
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
Diagnosys: automatic generation of a debugging interface to the Linux kernel
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
A systematic review of software robustness
Information and Software Technology
Error propagation monitoring on windows mobile-based devices
LADC'07 Proceedings of the Third Latin-American conference on Dependable Computing
Hi-index | 0.00 |
Drivers are becoming the larger part of operating systemskernels. Previous studies have shown that device drivers seemto be one of the most important sources of operating systemsmisbehavior. Their failure can have significant impact on thekernel and cause significant damages to the system as awhole. To objectively characterize the impact of faultydrivers, we have carried out a series of fault injectionexperiments. To conduct these experiments we have targetedthe DPI (Driver Programming Interface) that implements theway device drivers interact with the kernel. Faults areinjected on the parameters of these kernel core functions. Thisallows for the derivation of useful results about the failuremodes induced and thus characterization of the robustness ofa target kernel with respect to faulty drivers. The informationgathered also enables to improve these interaction facilities.