Publication:
Formalising device driver interfaces
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
1 - 1 of 1