{"id":"https://openalex.org/W2153527039","doi":"https://doi.org/10.1109/date.2011.5763023","title":"Simplified programming of faulty sensor networks via code transformation and run-time interval computation","display_name":"Simplified programming of faulty sensor networks via code transformation and run-time interval computation","publication_year":2011,"publication_date":"2011-03-01","ids":{"openalex":"https://openalex.org/W2153527039","doi":"https://doi.org/10.1109/date.2011.5763023","mag":"2153527039"},"language":"en","primary_location":{"id":"doi:10.1109/date.2011.5763023","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2011.5763023","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 Design, Automation & Test in Europe","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/A5055291708","display_name":"Lili Bai","orcid":"https://orcid.org/0000-0002-2773-0455"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"L S Bai","raw_affiliation_strings":["University of Michigan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111968870","display_name":"R P Dick","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"R P Dick","raw_affiliation_strings":["University of Michigan, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077304920","display_name":"Peter A. Dinda","orcid":"https://orcid.org/0000-0001-5315-5987"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P A Dinda","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5104061018","display_name":"P.H. Chou","orcid":null},"institutions":[{"id":"https://openalex.org/I204250578","display_name":"University of California, Irvine","ror":"https://ror.org/04gyf1771","country_code":"US","type":"education","lineage":["https://openalex.org/I204250578"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"P H Chou","raw_affiliation_strings":["University of California, Irvine, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Irvine, USA","institution_ids":["https://openalex.org/I204250578"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9983999729156494,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9983999729156494,"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/T10080","display_name":"Energy Efficient Wireless Sensor Networks","score":0.9976000189781189,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.991599977016449,"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/computer-science","display_name":"Computer science","score":0.8392497897148132},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.6432263851165771},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.6402405500411987},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.592186450958252},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5871108770370483},{"id":"https://openalex.org/keywords/testbed","display_name":"Testbed","score":0.5492720603942871},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5394092798233032},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5029956698417664},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4439803659915924},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.4323103129863739},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.421626478433609},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3842564523220062},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17619505524635315},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1455116868019104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14248177409172058}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8392497897148132},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.6432263851165771},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.6402405500411987},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.592186450958252},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5871108770370483},{"id":"https://openalex.org/C31395832","wikidata":"https://www.wikidata.org/wiki/Q1318674","display_name":"Testbed","level":2,"score":0.5492720603942871},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5394092798233032},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5029956698417664},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4439803659915924},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.4323103129863739},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.421626478433609},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3842564523220062},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17619505524635315},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1455116868019104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14248177409172058},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/date.2011.5763023","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2011.5763023","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 Design, Automation & Test in Europe","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.228.3741","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.3741","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.northwestern.edu/%7Epdinda/Papers/date11-facts.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1509885357","https://openalex.org/W1583462325","https://openalex.org/W1817488496","https://openalex.org/W2011233235","https://openalex.org/W2063165833","https://openalex.org/W2064581929","https://openalex.org/W2097378179","https://openalex.org/W2106501616","https://openalex.org/W2106987623","https://openalex.org/W2126711172","https://openalex.org/W2140344011","https://openalex.org/W2140616837","https://openalex.org/W2146066139","https://openalex.org/W2147117072","https://openalex.org/W2148093691","https://openalex.org/W2150015649","https://openalex.org/W2151203015","https://openalex.org/W2153318482","https://openalex.org/W2154721480","https://openalex.org/W2160597340","https://openalex.org/W2164793053","https://openalex.org/W2338042317","https://openalex.org/W3143762821","https://openalex.org/W3144372924","https://openalex.org/W3146211206","https://openalex.org/W6630434273","https://openalex.org/W6684261882"],"related_works":["https://openalex.org/W2883256816","https://openalex.org/W2171408034","https://openalex.org/W3003320923","https://openalex.org/W2106140982","https://openalex.org/W2152313554","https://openalex.org/W2064303750","https://openalex.org/W3048672182","https://openalex.org/W1509300825","https://openalex.org/W2054620577","https://openalex.org/W2116314988"],"abstract_inverted_index":{"Detecting":[0],"and":[1,19,27,72,83,98,121,136,152,172,188,201],"reacting":[2],"to":[3,45,51,74,92,142],"faults":[4,107,160],"is":[5,23,41,50,124],"an":[6,125,128],"indispensable":[7],"capability":[8],"for":[9,31,67,111,148,192],"many":[10],"wireless":[11],"sensor":[12,32,57,68,130],"network":[13,69,131],"applications.":[14],"Unfortunately,":[15],"implementing":[16],"fault":[17,28,81,94,150],"detection":[18,82,151],"error":[20,96,99],"correction":[21],"algorithms":[22],"challenging.":[24],"Programming":[25],"languages":[26],"tolerance":[29,84],"mechanisms":[30],"networks":[33],"have":[34,139],"historically":[35],"been":[36,140],"designed":[37],"in":[38],"isolation.":[39],"This":[40,154],"the":[42,53,76,157,162,165,177,180,189],"first":[43],"work":[44],"combine":[46],"them.":[47],"Our":[48,102],"goal":[49],"simplify":[52],"design":[54],"of":[55,80,127,146,159,164,167,179,203],"fault-tolerant":[56],"networks.":[58,205],"We":[59,175],"describe":[60],"a":[61,197],"system":[62,104,182],"that":[63],"makes":[64],"it":[65],"unnecessary":[66],"application":[70],"developers":[71],"users":[73],"understand":[75],"intricate":[77],"implementation":[78],"details":[79],"techniques,":[85],"while":[86],"still":[87],"using":[88,196],"their":[89,109],"domain":[90,117],"knowledge":[91],"support":[93,143],"detection,":[95],"correction,":[97],"estimation":[100],"mechanisms.":[101],"FACTS":[103,123],"translates":[105],"low-level":[106],"into":[108],"consequences":[110,116],"application-level":[112],"data":[113,170,193],"quality,":[114],"i.e.,":[115],"experts":[118],"can":[119],"appreciate":[120],"understand.":[122],"extension":[126],"existing":[129],"programming":[132],"language;":[133],"its":[134],"compiler":[135],"runtime":[137],"libraries":[138],"modified":[141],"automatic":[144],"generation":[145],"code":[147,155,184],"on-line":[149],"tolerance.":[153],"determines":[156],"impacts":[158],"on":[161,183],"accuracies":[163],"results":[166],"potentially":[168],"complex":[169],"aggregation":[171],"analysis":[173,194],"expressions.":[174],"evaluate":[176],"overhead":[178],"proposed":[181],"size,":[185],"memory":[186],"use,":[187],"accuracy":[190],"improvements":[191],"expressions":[195],"small":[198],"experimental":[199],"testbed":[200],"simulations":[202],"large-scale":[204]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}