DATE: Friday, February 8 2002
TIME: 3:30 to 5:00 p.m.
PLACE: Wean Hall, 8220

SPEAKER:
Laurent Réveillère
Assistant Professor at Enseirb, an engineering school located in Bordeaux, France.

TITLE:
Towards the Development of Robust Device Drivers

ABSTRACT:
Device drivers represent an increasing proportion of operating system code -- more than 70% for Linux. Nevertheless, although device drivers are a critical part of an operating system, the process of their development remains rudimentary and requires a high level of expertise. This situation is demonstrated by a recent study that shows that the propensity of device drivers to contain errors is up to seven times higher than the rest of the kernel.

In this talk, I will present a new approach to ease the development of device drivers. This approach is based on a domain-specific language, named Devil, targeted towards specifying the programming interface of a device. The processing of a Devil specification begins by its analysis to detect inconsistencies. The code necessary to implement the communication between the device and the driver is then automatically generated. This code can be generated in one of two forms, depending on whether error checking or run-time performance is favored. I will assess the robustness improvement of Devil based drivers by applying a mutation analysis.

BIO:
Laurent Réveillère received his PhD from University of Rennes I in 2001. Currently, he holds a position of Assistant Professor at Enseirb, an engineering school located in Bordeaux (France). Laurent Réveillère's main research interest lies in the area of domain-specific languages design and implementation.

For Further Seminar Info:
Visit http://www.pdl.cmu.edu/SDI/