Formalising device driver interfaces
Authors
Leonid Ryzhyk, Ihor Kuz and Gernot Heiser
School of Computer Science and Engineering
University of New South Wales
Sydney 2052 Australia
NICTA, Sydney,
Australia
Abstract
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.
BibTeX Entry
@inproceedings{Ryzhyk_KH_07,
title = {Formalising Device Driver Interfaces},
booktitle = {Proceedings of the 4th Workshop on Programming Languages and Operating Systems},
author = {Leonid Ryzhyk and Ihor Kuz and Gernot Heiser},
year = {2007},
month = {Oct},
address = {Stevenson, Washington, USA}
}