{"id":"https://openalex.org/W4235737483","doi":"https://doi.org/10.1145/2928275.2928283","title":"Proper Timed I/O","display_name":"Proper Timed I/O","publication_year":2016,"publication_date":"2016-06-06","ids":{"openalex":"https://openalex.org/W4235737483","doi":"https://doi.org/10.1145/2928275.2928283"},"language":"en","primary_location":{"id":"doi:10.1145/2928275.2928283","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2928275.2928283","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM International on Systems and Storage Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065181391","display_name":"Yogev Vaknin","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yogev Vaknin","raw_affiliation_strings":["Blavatnik School of Computer Science, Tel-Aviv University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Blavatnik School of Computer Science, Tel-Aviv University","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056808449","display_name":"Sivan Toledo","orcid":"https://orcid.org/0000-0002-9524-7115"},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Sivan Toledo","raw_affiliation_strings":["Blavatnik School of Computer Science, Tel-Aviv University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Blavatnik School of Computer Science, Tel-Aviv University","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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.9997000098228455,"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.9987999796867371,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8504754304885864},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6108273267745972},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5893879532814026},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5570140480995178},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.45663291215896606},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.44169795513153076},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3725343942642212},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.27146798372268677},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15019863843917847}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8504754304885864},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6108273267745972},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5893879532814026},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5570140480995178},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.45663291215896606},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.44169795513153076},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3725343942642212},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.27146798372268677},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15019863843917847},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2928275.2928283","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2928275.2928283","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th ACM International on Systems and Storage Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1507893864","https://openalex.org/W1519685353","https://openalex.org/W1555222326","https://openalex.org/W1606824214","https://openalex.org/W1973716893","https://openalex.org/W1974462789","https://openalex.org/W2005440991","https://openalex.org/W2029117638","https://openalex.org/W2101508170","https://openalex.org/W2102372792","https://openalex.org/W2119596185","https://openalex.org/W2122158187","https://openalex.org/W2130773092","https://openalex.org/W3001795128","https://openalex.org/W4237818062","https://openalex.org/W6629464551","https://openalex.org/W6632561995"],"related_works":["https://openalex.org/W2348991889","https://openalex.org/W2214202562","https://openalex.org/W2358350236","https://openalex.org/W2185920304","https://openalex.org/W2385167787","https://openalex.org/W2352866890","https://openalex.org/W2137093729","https://openalex.org/W1974394055","https://openalex.org/W2369523541","https://openalex.org/W2117579617"],"abstract_inverted_index":{"We":[0,80],"propose":[1],"a":[2,21,54,93,137,168],"novel":[3],"high-level":[4],"abstraction":[5,15],"for":[6,89,184,188],"real-time":[7,26,31,48,190],"control,":[8],"called":[9],"Proper":[10],"Timed":[11],"I/O":[12,33,49],"(PTIO).":[13],"The":[14,123],"allows":[16],"user-space":[17,62,78],"programs":[18,45],"running":[19],"on":[20,99,132],"stock":[22],"operating":[23,191],"system":[24],"(without":[25],"extensions)":[27],"to":[28,40,148],"perform":[29,116],"high-resolution":[30],"digital":[32],"(setting":[34],"pins":[35],"high":[36],"or":[37,112,142,187],"low,":[38],"responding":[39],"input":[41],"transitions,":[42],"etc.).":[43],"PTIO":[44,86,160],"express":[46],"their":[47],"behavior":[50],"in":[51,68],"terms":[52],"of":[53,84,110,118,140],"timed":[55,70],"automaton":[56],"that":[57,96,129,158],"can":[58,106,115],"communicate":[59],"with":[60],"the":[61,69,77,85,159,165,170,182],"program.":[63,79],"Simple":[64],"behaviors":[65,73],"are":[66,74,130],"encoded":[67],"automaton;":[71],"complex":[72],"implemented":[75],"by":[76],"present":[81],"two":[82],"implementations":[83,156],"abstraction,":[87],"both":[88],"Linux.":[90],"One":[91],"utilizes":[92],"deterministic":[94],"co-processor":[95],"is":[97,146,174],"available":[98,131],"some":[100],"ARM-based":[101],"system-on-a-chip":[102],"processors.":[103],"This":[104],"implementation":[105,125],"achieve":[107],"timing":[108,138],"accuracy":[109,139],"100ns":[111],"better":[113],"and":[114],"millions":[117],"finite-state":[119],"transitions":[120,152],"per":[121,153],"second.":[122,154],"other":[124],"uses":[126],"hardware":[127],"timers":[128],"every":[133],"system-on-a-chip;":[134],"it":[135,145],"achieves":[136],"6\u00b5s":[141],"better,":[143],"but":[144],"limited":[147],"about":[149],"2000":[150],"state":[151],"Both":[155],"guarantee":[157],"never":[161],"fails":[162],"silently:":[163],"if":[164],"mechanism":[166],"missed":[167],"deadline,":[169],"user":[171],"space":[172],"program":[173],"always":[175],"notified.":[176],"In":[177],"many":[178],"cases,":[179],"PTIOs":[180],"eliminate":[181],"need":[183],"bare-metal":[185],"programming":[186],"specialized":[189],"systems.":[192]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2022-05-12T00:00:00"}