Formalising device driver interfaces | Zendy

Leonid Ryzhyk | Zendy; Ihor Kuz | Zendy; Gernot Heiser | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Formalising device driver interfaces

Author(s) -

Leonid Ryzhyk,

Ihor Kuz,

Gernot Heiser

Publication year - 2007

Publication title -

unsworks (university of new south wales, sydney, australia)

Language(s) - English

Resource type - Conference proceedings

DOI - 10.1145/1376789.1376803

Subject(s) - computer science , software , software engineering , human–computer interaction , operating system

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research