{"id":"https://openalex.org/W2137888380","doi":"https://doi.org/10.26190/unsworks/22846","title":"On the construction of reliable device drivers","display_name":"On the construction of reliable device drivers","publication_year":2022,"publication_date":"2022-03-23","ids":{"openalex":"https://openalex.org/W2137888380","doi":"https://doi.org/10.26190/unsworks/22846","mag":"2137888380"},"language":"en","primary_location":{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/44570","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/44570","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/b9bf5b37-da65-4120-9092-4762811961de/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_db06"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://unsworks.unsw.edu.au/bitstreams/b9bf5b37-da65-4120-9092-4762811961de/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001598240","display_name":"Leonid Ryzhyk","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ryzhyk, Leonid","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5001598240"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.773022472858429},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6033511161804199},{"id":"https://openalex.org/keywords/downtime","display_name":"Downtime","score":0.5936248898506165},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5628876090049744},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.54142165184021},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4430393576622009},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.4397290349006653},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.4306149482727051},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.421254426240921},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.34727829694747925},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1890678107738495},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17695975303649902}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.773022472858429},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6033511161804199},{"id":"https://openalex.org/C180591934","wikidata":"https://www.wikidata.org/wiki/Q1253369","display_name":"Downtime","level":2,"score":0.5936248898506165},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5628876090049744},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.54142165184021},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4430393576622009},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.4397290349006653},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4306149482727051},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.421254426240921},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34727829694747925},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1890678107738495},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17695975303649902},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/44570","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/44570","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/b9bf5b37-da65-4120-9092-4762811961de/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_db06"},{"id":"pmh:oai:unsworks.unsw.edu.au:1959.4/44570","is_oa":true,"landing_page_url":"http://handle.unsw.edu.au/1959.4/44570","pdf_url":"http://handle.unsw.edu.au/1959.4/44570","source":{"id":"https://openalex.org/S4377196481","display_name":"UNSWorks (UNSW Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31746571","host_organization_name":"UNSW Sydney","host_organization_lineage":["https://openalex.org/I31746571"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.158.7532","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.7532","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ertos.nicta.com.au/publications/papers/Ryzhyk:phd.pdf","raw_type":"text"},{"id":"doi:10.26190/unsworks/22846","is_oa":true,"landing_page_url":"https://doi.org/10.26190/unsworks/22846","pdf_url":null,"source":{"id":"https://openalex.org/S7407053176","display_name":"University of New South Wales","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"mag:2137888380","is_oa":false,"landing_page_url":"http://ts.data61.csiro.au/publications/papers/Ryzhyk:phd.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/44570","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/44570","pdf_url":"https://unsworks.unsw.edu.au/bitstreams/b9bf5b37-da65-4120-9092-4762811961de/download","source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_db06"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.5899999737739563,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2137888380.pdf","grobid_xml":"https://content.openalex.org/works/W2137888380.grobid-xml"},"referenced_works_count":113,"referenced_works":["https://openalex.org/W19830081","https://openalex.org/W29273864","https://openalex.org/W37246341","https://openalex.org/W46191940","https://openalex.org/W108081636","https://openalex.org/W111098712","https://openalex.org/W113529588","https://openalex.org/W196073079","https://openalex.org/W201784039","https://openalex.org/W1481109946","https://openalex.org/W1482102510","https://openalex.org/W1487134436","https://openalex.org/W1489801944","https://openalex.org/W1502111570","https://openalex.org/W1505618619","https://openalex.org/W1515174179","https://openalex.org/W1517405987","https://openalex.org/W1520961854","https://openalex.org/W1521891776","https://openalex.org/W1533195354","https://openalex.org/W1539432158","https://openalex.org/W1554758995","https://openalex.org/W1577404745","https://openalex.org/W1583776219","https://openalex.org/W1596606311","https://openalex.org/W1604656800","https://openalex.org/W1772960743","https://openalex.org/W1825457006","https://openalex.org/W1829813581","https://openalex.org/W1943502734","https://openalex.org/W1965646691","https://openalex.org/W1965827610","https://openalex.org/W1980296610","https://openalex.org/W1996565109","https://openalex.org/W1998070736","https://openalex.org/W2002662724","https://openalex.org/W2002915275","https://openalex.org/W2007567551","https://openalex.org/W2014105446","https://openalex.org/W2020136418","https://openalex.org/W2023808162","https://openalex.org/W2024443593","https://openalex.org/W2031491316","https://openalex.org/W2037431929","https://openalex.org/W2037777200","https://openalex.org/W2037781776","https://openalex.org/W2040088668","https://openalex.org/W2045643024","https://openalex.org/W2058144256","https://openalex.org/W2066859698","https://openalex.org/W2074955133","https://openalex.org/W2075120766","https://openalex.org/W2077631114","https://openalex.org/W2079029390","https://openalex.org/W2080267935","https://openalex.org/W2083185319","https://openalex.org/W2087747577","https://openalex.org/W2087832144","https://openalex.org/W2092858671","https://openalex.org/W2096165352","https://openalex.org/W2097889836","https://openalex.org/W2098656140","https://openalex.org/W2098806455","https://openalex.org/W2099223160","https://openalex.org/W2099529102","https://openalex.org/W2100792372","https://openalex.org/W2100909665","https://openalex.org/W2105357036","https://openalex.org/W2108009943","https://openalex.org/W2108065216","https://openalex.org/W2113350481","https://openalex.org/W2115696550","https://openalex.org/W2117271294","https://openalex.org/W2117898742","https://openalex.org/W2118201637","https://openalex.org/W2118356667","https://openalex.org/W2120017782","https://openalex.org/W2122960384","https://openalex.org/W2127914018","https://openalex.org/W2128026467","https://openalex.org/W2131195907","https://openalex.org/W2131238817","https://openalex.org/W2133400870","https://openalex.org/W2134309469","https://openalex.org/W2135523252","https://openalex.org/W2137186143","https://openalex.org/W2139014893","https://openalex.org/W2140508184","https://openalex.org/W2142208662","https://openalex.org/W2143999355","https://openalex.org/W2146391090","https://openalex.org/W2146878883","https://openalex.org/W2148686658","https://openalex.org/W2153950928","https://openalex.org/W2157490964","https://openalex.org/W2157511281","https://openalex.org/W2157657084","https://openalex.org/W2158821889","https://openalex.org/W2158859403","https://openalex.org/W2159477904","https://openalex.org/W2162422574","https://openalex.org/W2162671668","https://openalex.org/W2165444185","https://openalex.org/W2167616035","https://openalex.org/W2168770321","https://openalex.org/W2169850160","https://openalex.org/W2170761533","https://openalex.org/W2171882483","https://openalex.org/W2174305619","https://openalex.org/W2174598112","https://openalex.org/W2470007019","https://openalex.org/W2912521930","https://openalex.org/W3148849726"],"related_works":["https://openalex.org/W2564701863","https://openalex.org/W606776420","https://openalex.org/W628813755","https://openalex.org/W2761840268","https://openalex.org/W2552073793","https://openalex.org/W3101835993","https://openalex.org/W2333125853","https://openalex.org/W1614505994","https://openalex.org/W2793423057","https://openalex.org/W156262842","https://openalex.org/W2899589077","https://openalex.org/W2296838917","https://openalex.org/W2151883975","https://openalex.org/W2901677697","https://openalex.org/W636687934","https://openalex.org/W3017328998","https://openalex.org/W2930551564","https://openalex.org/W1904809782","https://openalex.org/W2110933349","https://openalex.org/W3090013051"],"abstract_inverted_index":{"This":[0,287,353,445],"dissertation":[1,57],"is":[2,173,319,337,411],"dedicated":[3],"to":[4,61,81,97,124,135,148,212,225,298,344,372,408,453,464],"the":[5,17,63,102,116,143,198,205,215,227,233,239,267,277,281,284,292,312,320,357,403,424],"problem":[6],"of":[7,20,65,93,131,182,188,200,217,235,241,252,255,266,326,351,359,384,405],"device":[8,14,70,259,301,306,370,380,398],"driver":[9,36,71,82,150,165,221,228,237,282],"reliability.":[10],"Software":[11],"defects":[12,44,66,201],"in":[13,22,45,101,178,180,443],"drivers":[15,47,114,179,207,374,388,448],"constitute":[16],"biggest":[18],"source":[19],"failure":[21],"operating":[23,108,117,271,285,308,313,386,432],"systems,":[24],"causing":[25],"significant":[26],"damage":[27],"through":[28,67],"downtime":[29],"and":[30,42,73,84,115,122,127,139,161,163,269,283,296,329],"data":[31],"loss.":[32],"Previous":[33],"research":[34],"on":[35,40,220],"reliability":[37],"has":[38],"concentrated":[39],"detecting":[41],"mitigating":[43],"existing":[46,431],"using":[48,152,450],"static":[49],"analysis":[50],"or":[51,437],"runtime":[52],"isolation.":[53],"In":[54,76,210],"contrast,":[55],"this":[56],"presents":[58],"an":[59,68,270],"approach":[60,288,354],"reducing":[62],"number":[64,199],"improved":[69],"architecture":[72,104],"development":[74,229],"process.":[75],"analysing":[77],"factors":[78],"that":[79,89,248,261,275,323,341,423],"contribute":[80],"complexity":[83],"induce":[85],"errors,":[86],"I":[87,146,223,421],"show":[88],"a":[90,128,153,183,236,245,253,258,263,335,338,349,361,396,401,460],"large":[91],"proportion":[92],"errors":[94,406],"are":[95,208,303,382,416],"due":[96,407],"two":[98],"key":[99],"shortcomings":[100],"device-driver":[103],"enforced":[105],"by":[106,175,231,305,311,418,439],"current":[107],"systems:":[109],"poorly-defined":[110],"communication":[111,278],"protocols":[112,151],"between":[113,280],"system,":[118,387],"which":[119,133,158,190],"confuse":[120],"developers":[121],"lead":[123],"protocol":[125,279],"violations,":[126],"multithreaded":[129],"model":[130,187],"computation,":[132,189],"leads":[134],"numerous":[136],"race":[137],"conditions":[138],"deadlocks.":[140],"To":[141],"address":[142],"first":[144],"shortcoming,":[145],"propose":[147,224],"describe":[149],"formal,":[154],"state-machine":[155],"based,":[156],"language,":[157],"avoids":[159],"confusion":[160],"ambiguity":[162],"helps":[164],"writers":[166],"implement":[167],"correct":[168],"behaviour.":[169],"The":[170,316],"second":[171],"issue":[172],"addressed":[174],"abandoning":[176],"multithreading":[177],"favour":[181],"more":[184,465],"disciplined":[185],"event-driven":[186],"eliminates":[191],"most":[192,293],"concurrency-related":[193],"faults.":[194],"These":[195],"improvements":[196],"reduce":[197,214],"without":[202,434],"radically":[203],"changing":[204],"way":[206],"developed.":[209],"order":[211],"further":[213],"impact":[216],"human":[218],"error":[219],"reliability,":[222],"automate":[226],"process":[230],"synthesising":[232],"implementation":[234,442,446],"from":[238,395],"combination":[240],"three":[242],"formal":[243],"specifications:":[244,300,360],"device-class":[246,317],"specification":[247,260,274,318,336,364],"describes":[249,262,276],"common":[250],"properties":[251],"class":[254,350],"similar":[256],"devices,":[257],"concrete":[264],"representative":[265],"class,":[268],"system":[272,309,314],"interface":[273],"system.":[286],"allows":[289,447],"those":[290],"with":[291,368,455],"appropriate":[294],"skills":[295],"knowledge":[297],"develop":[299],"specifications":[302,310,371,381,410,415],"developed":[304,449],"manufacturers,":[307],"designers.":[315],"only":[321,342],"one":[322],"requires":[324],"understanding":[325],"both":[327],"hardware":[328],"software-related":[330],"issues.":[331],"However":[332],"writing":[333],"such":[334],"one-off":[339],"task":[340],"needs":[343],"be":[345,366,393,428],"completed":[346],"once":[347],"for":[348,375,389],"devices.":[352,377],"also":[355],"facilitates":[356],"reuse":[358],"single":[362,397],"operating-system":[363],"can":[365,392,427],"combined":[367],"many":[369,419],"synthesise":[373],"multiple":[376],"Likewise,":[378],"since":[379],"independent":[383],"any":[385],"different":[390],"systems":[391,433],"synthesised":[394],"specification.":[399],"As":[400],"result,":[402],"likelihood":[404],"incorrect":[409],"reduced":[412],"because":[413],"these":[414,451],"shared":[417],"drivers.":[420,467],"demonstrate":[422],"proposed":[425],"techniques":[426,452],"incorporated":[429],"into":[430],"sacrificing":[435],"performance":[436],"functionality":[438],"presenting":[440],"their":[441],"Linux.":[444],"coexist":[454],"conventional":[456],"Linux":[457],"drivers,":[458],"providing":[459],"gradual":[461],"migration":[462],"path":[463],"reliable":[466]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-18T07:39:51.176621","created_date":"2025-10-10T00:00:00"}