Thesis Topic Details

Topic ID:
3071
Title:
Reliable Device Driver Framework for Linux
Supervisor:
Leonid Ryzhyk
Research Area:
Operating Systems
Associated Staff
Assessor:
Peter Chubb
Topic Details
Status:
Active
Type:
R & D
Programs:
CS SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
--
Description:
As part of an effort to put an end to the numerous software failures caused by buggy device drivers, our research group is developing a new device driver architecture for Linux. This architecture eliminates certain types of bugs by design and makes writing correct drivers easier. In addition it facilitates automatic detection of driver bugs by model checking tools.

In this project, you will develop Linux kernel components as part of our driver development framework and will implement and one or more drivers using this framework. You will also come up with a formal specification of the interface between the driver and the OS and will use a model checker to verify the your drivers comply with this protocol. The outcome of this work will be published in one of the top OS conferences and will be proposed for inclusion in the Linux kernel.
Comments:
--
Past Student Reports
  Yanjin ZHU in s2, 2010
Transaction-level modelling of I/O devices for automatic device-driver synthesis
 

Download report from the CSE Thesis Report Library

NOTE: only current CSE students can login to view and select reports to download.