User-Guided Device Driver Synthesis

Select |




Print


Ryzhyk, Leonid; Walker, Adam Christopher; Keys, John; Legg, Alexander; Raghunath, Arun; Stumm, Michael; Vij, Mona

Ryzhyk, Leonid; Walker, Adam Christopher; Keys, John; Legg, Alexander; Raghunath, Arun; Stumm, Michael; Vij, Mona


2014-10-06


Conference Material


Usenix Symposium on Operating Systems Design and Implementation (OSDI)


Broomfield, CO, USA


661-676


Automatic device driver synthesis is a radical approach to creating drivers faster and with fewer defects by generating them automatically based on hardware device specifications. We present the design and implementation of the first practical driver synthesis toolkit, called Numbat. Numbat is the first tool to combine the power of automation with the flexibility of conventional development. It is also the first practical synthesis tool based on abstraction refinement. Finally, it is the first synthesis tool to support automated debugging of input specifications. We demonstrate the practicality of Numbat by synthesizing drivers for several I/O devices representative of a typical embedded platform: a webcam, a serial controller, an I2C bus, a real-time clock, and a hard disk controller.


Termite, device drivers, abstraction refinement, predicate abstraction


https://www.usenix.org/conference/osdi14/


nicta:8077


Ryzhyk, Leonid; Walker, Adam Christopher; Keys, John; Legg, Alexander; Raghunath, Arun; Stumm, Michael; Vij, Mona. User-Guided Device Driver Synthesis. In: Usenix Symposium on Operating Systems Design and Implementation (OSDI); Broomfield, CO, USA. 2014-10-06. 661-676.



Loading citation data...

Citation counts
(Requires subscription to view)