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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1145/1376789.1376803 | ACM Transactions on Programming Languages and Systems |
Keywords | Field | DocType |
reliable device driver,driver developer,formalising device driver interface,protocols unambiguously,common source,device driver,compact specification,driver behaviour,formal language,important requirement,communication gap,concurrency,memory management | Formal language,Computer science,Concurrency,Real-time computing,Memory management,Software,Distributed computing | Conference |
Citations | PageRank | References |
3 | 0.44 | 3 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Leonid Ryzhyk | 1 | 212 | 16.05 |
Ihor Kuz | 2 | 304 | 30.28 |
Gernot Heiser | 3 | 2525 | 137.42 |