{"id":"https://openalex.org/W4386579499","doi":"https://doi.org/10.1145/3609119","title":"Consistency vs. Availability in Distributed Cyber-Physical Systems","display_name":"Consistency vs. Availability in Distributed Cyber-Physical Systems","publication_year":2023,"publication_date":"2023-09-09","ids":{"openalex":"https://openalex.org/W4386579499","doi":"https://doi.org/10.1145/3609119"},"language":"en","primary_location":{"id":"doi:10.1145/3609119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3609119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3609119","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3609119","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009831760","display_name":"Edward A. Lee","orcid":"https://orcid.org/0000-0002-5663-0584"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Edward A. Lee","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020612843","display_name":"Ravi Akella","orcid":"https://orcid.org/0009-0005-4211-3593"},"institutions":[{"id":"https://openalex.org/I67530263","display_name":"Denso (United States)","ror":"https://ror.org/02w314k38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210132650","https://openalex.org/I67530263"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ravi Akella","raw_affiliation_strings":["DENSO International America, Inc., USA"],"affiliations":[{"raw_affiliation_string":"DENSO International America, Inc., USA","institution_ids":["https://openalex.org/I67530263"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076059064","display_name":"Soroush Bateni","orcid":"https://orcid.org/0000-0002-5448-3664"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Soroush Bateni","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054192952","display_name":"Shaokai Lin","orcid":"https://orcid.org/0000-0001-6885-5572"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shaokai Lin","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019424497","display_name":"Marten Lohstroh","orcid":"https://orcid.org/0000-0001-8833-4117"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marten Lohstroh","raw_affiliation_strings":["University of California, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050164731","display_name":"Christian Menard","orcid":"https://orcid.org/0000-0002-7134-8384"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Menard","raw_affiliation_strings":["Technische Universit\u00e4t Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5009831760"],"corresponding_institution_ids":["https://openalex.org/I95457486"],"apc_list":null,"apc_paid":null,"fwci":3.238,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.92491712,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"22","issue":"5s","first_page":"1","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9991000294685364,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/consistency","display_name":"Consistency (knowledge bases)","score":0.8207756280899048},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7802844047546387},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7730492353439331},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.5646829605102539},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.559579610824585},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5436926484107971},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5369783043861389},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.5257431268692017},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.4520157277584076},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.44678249955177307},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44636085629463196},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4242570698261261},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.3656194806098938},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2617098093032837},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.22361323237419128},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.1545015275478363},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12286555767059326},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09739238023757935}],"concepts":[{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.8207756280899048},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7802844047546387},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7730492353439331},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.5646829605102539},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.559579610824585},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5436926484107971},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5369783043861389},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.5257431268692017},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.4520157277584076},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.44678249955177307},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44636085629463196},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4242570698261261},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.3656194806098938},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2617098093032837},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.22361323237419128},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.1545015275478363},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12286555767059326},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09739238023757935},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"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/3609119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3609119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3609119","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3609119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3609119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3609119","source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2252223759","display_name":null,"funder_award_id":"CNS-2233769","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G252029518","display_name":null,"funder_award_id":"16KISK001K","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G2883901855","display_name":null,"funder_award_id":"1836601","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4838704522","display_name":null,"funder_award_id":"in part","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G5689561649","display_name":"CPS: TTP Option: Small: Consistency vs. Availability in Cyber-Physical Systems","funder_award_id":"2233769","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G695580379","display_name":null,"funder_award_id":"CNS-1836601","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7160005094","display_name":null,"funder_award_id":"01IS12051","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G7225624288","display_name":null,"funder_award_id":"This work was","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386579499.pdf","grobid_xml":"https://content.openalex.org/works/W4386579499.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W159494641","https://openalex.org/W260450400","https://openalex.org/W1823037702","https://openalex.org/W1968452211","https://openalex.org/W1981173460","https://openalex.org/W1995537914","https://openalex.org/W2013451019","https://openalex.org/W2030877481","https://openalex.org/W2034495023","https://openalex.org/W2054584570","https://openalex.org/W2061819031","https://openalex.org/W2076285066","https://openalex.org/W2089867526","https://openalex.org/W2092639989","https://openalex.org/W2099105350","https://openalex.org/W2114321404","https://openalex.org/W2118500580","https://openalex.org/W2118824103","https://openalex.org/W2118900647","https://openalex.org/W2119355229","https://openalex.org/W2143518405","https://openalex.org/W2149579966","https://openalex.org/W2159542925","https://openalex.org/W2769918695","https://openalex.org/W2872933037","https://openalex.org/W2886336770","https://openalex.org/W2941092634","https://openalex.org/W3043074253","https://openalex.org/W3137220996","https://openalex.org/W3137759927","https://openalex.org/W3160830781","https://openalex.org/W3187274262","https://openalex.org/W4205284036","https://openalex.org/W4206245103","https://openalex.org/W4206472250","https://openalex.org/W4229679051","https://openalex.org/W4230791737","https://openalex.org/W4256027002","https://openalex.org/W4286588425","https://openalex.org/W4301699230","https://openalex.org/W4315588164"],"related_works":["https://openalex.org/W2769374332","https://openalex.org/W2901980169","https://openalex.org/W2971748376","https://openalex.org/W2579205871","https://openalex.org/W2560551601","https://openalex.org/W2166510438","https://openalex.org/W2694292246","https://openalex.org/W2739388583","https://openalex.org/W3000358352","https://openalex.org/W4250503143"],"abstract_inverted_index":{"In":[0],"distributed":[1],"applications,":[2],"Brewer\u2019s":[3],"CAP":[4,85],"theorem":[5,86,110,126],"tells":[6],"us":[7],"that":[8,111],"when":[9,155],"networks":[10],"become":[11],"partitioned":[12],"(P),":[13],"one":[14],"must":[15],"give":[16],"up":[17],"either":[18],"consistency":[19,53,60,145],"(C)":[20],"or":[21,164],"availability":[22,33,62,143],"(A).":[23],"Consistency":[24],"is":[25,34,48,54,112],"agreement":[26],"on":[27,170],"the":[28,35,70,73,84,108,124,152,166,171,188],"values":[29],"of":[30,72,91,98],"shared":[31,45],"variables;":[32],"ability":[36],"to":[37,39,63,65,87,95,122,130,150,176,186],"respond":[38],"reads":[40],"and":[41,61,76,100,144,149,183],"writes":[42],"accessing":[43],"those":[44],"variables.":[46],"Availability":[47],"a":[49,55,105,115,137],"real-time":[50],"property":[51],"whereas":[52],"logical":[56],"property.":[57],"We":[58,80,135,168],"extend":[59],"refer":[64],"cyber-physical":[66,133],"properties":[67,94],"such":[68],"as":[69],"state":[71],"physical":[74],"system":[75,153,178],"delays":[77],"in":[78,114,127,146,158,161,165,191],"actuation.":[79],"have":[81],"further":[82],"extended":[83],"relate":[88],"quantitative":[89,96],"measures":[90,97],"these":[92],"two":[93],"communication":[99],"computation":[101],"latency":[102],"(L),":[103],"obtaining":[104],"relation":[106],"called":[107],"CAL":[109,125],"linear":[113],"max-plus":[116],"algebra.":[117],"This":[118],"paper":[119],"shows":[120],"how":[121],"use":[123],"various":[128],"ways":[129,148],"help":[131],"design":[132,184],"systems.":[134],"develop":[136],"methodology":[138],"for":[139],"systematically":[140],"trading":[141],"off":[142],"application-specific":[147],"guide":[151],"designer":[154],"putting":[156],"functionality":[157],"end":[159],"devices,":[160],"edge":[162],"computers,":[163],"cloud.":[167],"build":[169],"Lingua":[172],"Franca":[173],"coordination":[174],"language":[175],"provide":[177],"designers":[179],"with":[180],"concrete":[181],"analysis":[182],"tools":[185],"make":[187],"required":[189],"tradeoffs":[190],"deployable":[192],"embedded":[193],"software.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}