Skip to main content

TS

Reliable device drivers require well-defined protocols

Authors

Leonid Ryzhyk, Timothy Bourke and Ihor Kuz

NICTA

Abstract

Current operating systems lack well-defined protocols for interaction with device drivers. We argue that this hinders the development of reliable drivers and thereby undermines overall system stability. We present an approach to specify driver protocols using a formalism based on state machines. We show that it can simplify device programming, facilitate static analysis of drivers against protocol specifications, and enable detection of incorrect behaviours at runtime.

BibTeX Entry

  @inproceedings{Ryzhyk_BK_07,
    publisher        = {USENIX Association},
    author           = {Ryzhyk, Leonid and Bourke, Timothy and Kuz, Ihor},
    month            = jun,
    editor           = {{Miguel Castro and John Wilkes}},
    year             = {2007},
    keywords         = {device drivers, modelling, systems engineering},
    title            = {Reliable device drivers require well-defined protocols},
    booktitle        = {Workshop on Hot Topics in System Dependability},
    pages            = {Article 3},
    address          = {Edinburgh, UK}
  }

Download