Publication:
Formalising device driver interfaces

dc.contributor.author Ryzhyk, Leonid en_US
dc.contributor.author Kuz, Ihor en_US
dc.contributor.author Heiser, Gernot en_US
dc.date.accessioned 2021-11-25T13:32:04Z
dc.date.available 2021-11-25T13:32:04Z
dc.date.issued 2007 en_US
dc.description.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. en_US
dc.identifier.isbn 9781595939227 en_US
dc.identifier.uri http://hdl.handle.net/1959.4/39901
dc.language English
dc.language.iso EN en_US
dc.publisher ACM digital library en_US
dc.rights CC BY-NC-ND 3.0 en_US
dc.rights.uri https://creativecommons.org/licenses/by-nc-nd/3.0/au/ en_US
dc.source Legacy MARC en_US
dc.title Formalising device driver interfaces en_US
dc.type Conference Paper en
dcterms.accessRights open access
dspace.entity.type Publication en_US
unsw.accessRights.uri https://purl.org/coar/access_right/c_abf2
unsw.description.publisherStatement © ACM 2007. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in 'Programming Languages and Operating Systems: Proceedings of the 4th workshop on Programming languages and operating systems', {Article No. 10 (2007)} http://doi.acm.org/10.1145/1376789.1376803 en_US
unsw.identifier.doiPublisher http://dx.doi.org/10.1145/1376789.1376803 en_US
unsw.publisher.place New York, USA en_US
unsw.relation.faculty Engineering
unsw.relation.ispartofconferenceLocation Stevenson, USA en_US
unsw.relation.ispartofconferenceName 4th workshop on programming languages and operating systems en_US
unsw.relation.ispartofconferenceProceedingsTitle Programming Languages and Operating Systems: Proceedings of the 4th workshop on Programming languages and operating systems en_US
unsw.relation.ispartofconferenceYear 2008 en_US
unsw.relation.ispartofpagefrompageto 1-5 en_US
unsw.relation.originalPublicationAffiliation Ryzhyk, Leonid, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Kuz, Ihor, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.originalPublicationAffiliation Heiser, Gernot, Computer Science & Engineering, Faculty of Engineering, UNSW en_US
unsw.relation.school School of Computer Science and Engineering *
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Ryzhyk_KH_07.pdf
Size:
119.08 KB
Format:
application/pdf
Description:
Resource type