Formalising device driver interfaces

Select |




Print


Ryzhyk, Leonid; Kuz, Ihor; Heiser, Gernot

Ryzhyk, Leonid; Kuz, Ihor; Heiser, Gernot


2007-10-18


Conference Material


4th Workshop on Programming Languages and Operating Systems


Stevenson, WA, USA


5


The lack of well-defined protocols for interaction with the operating system is a common source of defects in device drivers. In this paper we investigate the use of a formal language to define these protocols unambiguously. We present a language that allows us to convey all important requirements for driver behaviour in a compact specification and that can be readily understood by software engineers. It is intended to close the communication gap between OS and driver developers and enable more reliable device drivers.


OS, device driver, formalisation


nicta:494


Ryzhyk, Leonid; Kuz, Ihor; Heiser, Gernot. Formalising device driver interfaces. In: 4th Workshop on Programming Languages and Operating Systems; Stevenson, WA, USA. 2007-10-18. 5.



Loading citation data...

Citation counts
(Requires subscription to view)