Formalising device driver interfaces

Download files
Access & Terms of Use
open access
Altmetric
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.
Persistent link to this record
DOI
Link to Open Access Version
Additional Link
Author(s)
Ryzhyk, Leonid
Kuz, Ihor
Heiser, Gernot
Supervisor(s)
Creator(s)
Editor(s)
Translator(s)
Curator(s)
Designer(s)
Arranger(s)
Composer(s)
Recordist(s)
Conference Proceedings Editor(s)
Other Contributor(s)
Corporate/Industry Contributor(s)
Publication Year
2007
Resource Type
Conference Paper
Degree Type
UNSW Faculty
Files
download Ryzhyk_KH_07.pdf 119.08 KB Adobe Portable Document Format
Related dataset(s)