{"id":"https://openalex.org/W3049560336","doi":"https://doi.org/10.1145/3400302.3415717","title":"Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees","display_name":"Leveraging weakly-hard constraints for improving system fault tolerance with functional and timing guarantees","publication_year":2020,"publication_date":"2020-11-02","ids":{"openalex":"https://openalex.org/W3049560336","doi":"https://doi.org/10.1145/3400302.3415717","mag":"3049560336"},"language":"en","primary_location":{"id":"doi:10.1145/3400302.3415717","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3400302.3415717","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th International Conference on Computer-Aided Design","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2008.06192","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070869235","display_name":"Hengyi Liang","orcid":"https://orcid.org/0000-0002-1616-4259"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hengyi Liang","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101595179","display_name":"Zhilu Wang","orcid":"https://orcid.org/0000-0002-6645-262X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhilu Wang","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017515613","display_name":"Ruochen Jiao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ruochen Jiao","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020896290","display_name":"Qi Zhu","orcid":"https://orcid.org/0000-0002-7700-4099"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Qi Zhu","raw_affiliation_strings":["Northwestern University"],"affiliations":[{"raw_affiliation_string":"Northwestern University","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5070869235"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.1079,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.87517751,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9968000054359436,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9945999979972839,"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.8132304549217224},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6654411554336548},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.6507284641265869},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5892053842544556},{"id":"https://openalex.org/keywords/simulated-annealing","display_name":"Simulated annealing","score":0.5139500498771667},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5026116371154785},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.4768306314945221},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4767614006996155},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.47191646695137024},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4654335081577301},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.4459097981452942},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.35197117924690247},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.32944542169570923},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.23771986365318298}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8132304549217224},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6654411554336548},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.6507284641265869},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5892053842544556},{"id":"https://openalex.org/C126980161","wikidata":"https://www.wikidata.org/wiki/Q863783","display_name":"Simulated annealing","level":2,"score":0.5139500498771667},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5026116371154785},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.4768306314945221},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4767614006996155},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.47191646695137024},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4654335081577301},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.4459097981452942},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.35197117924690247},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.32944542169570923},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.23771986365318298},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3400302.3415717","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3400302.3415717","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th International Conference on Computer-Aided Design","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2008.06192","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.06192","pdf_url":"https://arxiv.org/pdf/2008.06192","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2008.06192","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2008.06192","pdf_url":"https://arxiv.org/pdf/2008.06192","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3797864541","display_name":null,"funder_award_id":"N00014-19-1-2496","funder_id":"https://openalex.org/F4320338298","funder_display_name":"Office of Naval Research Global"}],"funders":[{"id":"https://openalex.org/F4320338298","display_name":"Office of Naval Research Global","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W184501253","https://openalex.org/W1484610121","https://openalex.org/W1519941054","https://openalex.org/W1807119923","https://openalex.org/W1970148674","https://openalex.org/W2013700274","https://openalex.org/W2037847878","https://openalex.org/W2053282627","https://openalex.org/W2064316219","https://openalex.org/W2080059420","https://openalex.org/W2099569658","https://openalex.org/W2100134099","https://openalex.org/W2101810816","https://openalex.org/W2108979830","https://openalex.org/W2120185818","https://openalex.org/W2133620399","https://openalex.org/W2140710806","https://openalex.org/W2143078383","https://openalex.org/W2145969286","https://openalex.org/W2159394089","https://openalex.org/W2169596872","https://openalex.org/W2375099263","https://openalex.org/W2760380815","https://openalex.org/W2811315625","https://openalex.org/W2896935726","https://openalex.org/W2901520883","https://openalex.org/W2919442274","https://openalex.org/W2920260539","https://openalex.org/W2937876711","https://openalex.org/W2941538314","https://openalex.org/W2977257831","https://openalex.org/W3006063542","https://openalex.org/W3027538832","https://openalex.org/W3046601586","https://openalex.org/W3102554879","https://openalex.org/W3147011106","https://openalex.org/W3149410719","https://openalex.org/W4231890321","https://openalex.org/W4238332892","https://openalex.org/W4244092082"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2084470113","https://openalex.org/W4390481443","https://openalex.org/W4285207289","https://openalex.org/W2021260479","https://openalex.org/W2037417177","https://openalex.org/W2789506165","https://openalex.org/W4312447017"],"abstract_inverted_index":{"Many":[0],"safety-critical":[1],"real-time":[2],"systems":[3],"operate":[4],"under":[5,89],"harsh":[6],"environment":[7],"and":[8,23,40,45,78,94,115,132,141,152,169],"are":[9],"subject":[10],"to":[11,28,37,66,70,108,126,157],"soft":[12],"errors":[13],"caused":[14],"by":[15],"transient":[16],"or":[17],"intermittent":[18],"faults.":[19],"It":[20],"is":[21],"critical":[22],"yet":[24],"often":[25],"very":[26],"challenging":[27],"apply":[29],"fault":[30,72],"tolerance":[31,73],"techniques":[32,74],"in":[33,62],"these":[34],"systems,":[35],"due":[36],"resource":[38],"limitations":[39],"stringent":[41],"constraints":[42,97],"on":[43,164],"timing":[44,77],"functionality.":[46],"In":[47,81],"this":[48],"work,":[49],"we":[50,83],"leverage":[51],"the":[52,110,128,159,173],"concept":[53],"of":[54,112,149,175],"weakly-hard":[55],"constraints,":[56],"which":[57],"allows":[58],"task":[59,129],"deadline":[60,91,113],"misses":[61,114],"a":[63,144,153],"bounded":[64],"manner,":[65],"improve":[67],"system's":[68],"capability":[69],"accommodate":[71],"while":[75],"ensuring":[76],"functional":[79],"correctness.":[80],"particular,":[82],"a)":[84],"quantitatively":[85],"measure":[86],"control":[87,100,118,135],"cost":[88,136],"different":[90],"hit/miss":[92],"scenarios":[93],"identify":[95],"weak-hard":[96],"that":[98,147],"guarantee":[99],"stability;":[101],"b)":[102],"employ":[103],"typical":[104],"worst-case":[105],"analysis":[106],"(TWCA)":[107],"bound":[109],"number":[111],"approximate":[116],"system":[117,134],"cost;":[119],"c)":[120],"develop":[121,143],"an":[122,165],"event-based":[123],"simulation":[124],"method":[125],"check":[127],"execution":[130],"pattern":[131],"evaluate":[133],"for":[137],"any":[138],"given":[139],"solution;":[140],"d)":[142],"meta-heuristic":[145],"algorithm":[146],"consists":[148],"heuristic":[150],"methods":[151],"simulated":[154],"annealing":[155],"procedure":[156],"explore":[158],"design":[160],"space.":[161],"Our":[162],"experiments":[163],"industrial":[166],"case":[167],"study":[168],"synthetic":[170],"examples":[171],"demonstrate":[172],"effectiveness":[174],"our":[176],"approach.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}