Thesis Topic Details

Topic ID:
3221
Title:
Design and implementation of an algorithm for automatic device driver synthesis
Supervisor:
Leonid Ryzhyk
Research Area:
Operating Systems
Associated Staff
Assessor:
Peter Chubb
Topic Details
Status:
Active
Type:
Research
Programs:
CS CE SE
Group Suitable:
Yes
Industrial:
No
Pre-requisites:
--
Description:
Device-driver development is a notoriously difficult and error-prone task. An alternative approach to manually writing device drivers is to automatically synthesize them from a formal specification of the device and a specification of the interface between the driver and the OS.

In this thesis project you will design, implement, and evaluate an algorithm for automatic driver synthesis. The main challenge involved in this project is dealing with state explosion that occurs when analysing realistic device specifications. In order to overcome this problem you will explore techniques such as compositional synthesis and abstraction refinement. This work will be carried out in close collaboration with other NICTA students and researchers working on driver synthesis.
Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

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