Reliable device drivers require well-defined protocols

Select |




Print


Ryzhyk, Leonid; Bourke, Timothy; Kuz, Ihor

Ryzhyk, Leonid; Bourke, Timothy; Kuz, Ihor


2007-06-26


Conference Material


3rd workshop on Hot Topics in System Dependability


Edinburgh, UK


Article 3


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.


USENIX Association


Device drivers, modelling, systems engineering


http://dslab.epfl.ch/hotdep/2007/


nicta:1326


Ryzhyk, Leonid; Bourke, Timothy; Kuz, Ihor. Reliable device drivers require well-defined protocols. In: Miguel Castro and John Wilkes Editor, editor/s. 3rd workshop on Hot Topics in System Dependability; Edinburgh, UK. USENIX Association; 2007-06-26. Article 3.



Loading citation data...

Citation counts
(Requires subscription to view)