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. Copyright 2007 ACM.
Author supplied keywords
Cite
CITATION STYLE
Ryzhyk, L., Kuz, I., & Heiser, G. (2007). Formalising device driver interfaces. In Proceedings of the 4th Workshop on Programming Languages and Operating Systems, PLOS 2007. https://doi.org/10.1145/1376789.1376803
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
