{"id":"https://openalex.org/W4313161682","doi":"https://doi.org/10.1109/edcc57035.2022.00022","title":"DECO: Optimizing Software-based Soft-Error Detector Configurations","display_name":"DECO: Optimizing Software-based Soft-Error Detector Configurations","publication_year":2022,"publication_date":"2022-09-01","ids":{"openalex":"https://openalex.org/W4313161682","doi":"https://doi.org/10.1109/edcc57035.2022.00022"},"language":"en","primary_location":{"id":"doi:10.1109/edcc57035.2022.00022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/edcc57035.2022.00022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 18th European Dependable Computing Conference (EDCC)","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/A5005471033","display_name":"Robin Thunig","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Robin Thunig","raw_affiliation_strings":["TU Dresden,Chair of Operating Systems,Germany","Chair of Operating Systems, TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden,Chair of Operating Systems,Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Chair of Operating Systems, TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004548575","display_name":"Michael Lenz","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Lenz","raw_affiliation_strings":["TU Dortmund,Department of Computer Science 12,Germany","Department of Computer Science 12, TU Dortmund, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dortmund,Department of Computer Science 12,Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Department of Computer Science 12, TU Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087099408","display_name":"Peter Ulbrich","orcid":"https://orcid.org/0000-0002-4224-9205"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter Ulbrich","raw_affiliation_strings":["TU Dortmund,Department of Computer Science 12,Germany","Department of Computer Science 12, TU Dortmund, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dortmund,Department of Computer Science 12,Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Department of Computer Science 12, TU Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015386022","display_name":"Horst Schirmeier","orcid":"https://orcid.org/0000-0002-1427-9343"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Horst Schirmeier","raw_affiliation_strings":["TU Dresden,Chair of Operating Systems,Germany","Chair of Operating Systems, TU Dresden, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden,Chair of Operating Systems,Germany","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Chair of Operating Systems, TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"73","last_page":"80"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9610999822616577,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9401999711990356,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7631198167800903},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.5988419651985168},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.5504686236381531},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49914050102233887},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.15309429168701172},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1034882664680481},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0991411805152893},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.05268216133117676}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7631198167800903},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.5988419651985168},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.5504686236381531},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49914050102233887},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.15309429168701172},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1034882664680481},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0991411805152893},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.05268216133117676}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/edcc57035.2022.00022","is_oa":false,"landing_page_url":"https://doi.org/10.1109/edcc57035.2022.00022","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 18th European Dependable Computing Conference (EDCC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.8299999833106995,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2041615232","https://openalex.org/W975040225","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2149032943"],"abstract_inverted_index":{"Soft":[0],"errors":[1],"are":[2,22],"a":[3,23,61,64,121,126,160],"threat":[4],"to":[5,63,162],"all":[6,129,144],"kinds":[7],"of":[8,26,33,78,90,100,112,128,152,155],"software-controlled":[9],"electronic":[10],"devices":[11],"and":[12,59,94,142,193,197],"can":[13,73],"cause":[14],"silent":[15],"data":[16],"corruptions":[17],"(SDCs).":[18],"Software-based":[19],"error":[20],"detectors":[21,43,72],"well-studied":[24],"class":[25],"countermeasures,":[27],"for":[28,120,138,166],"example":[29],"in":[30,55,80,191,199],"the":[31,56,76,81,88,91,96,101,115],"form":[32],"executable":[34,189],"assertions":[35,190],"that":[36,178],"check":[37],"application-specific":[38],"invariants":[39],"at":[40,52],"runtime.":[41],"These":[42],"must":[44],"be":[45],"\u2013":[46,50,93],"manually":[47],"or":[48],"automatically":[49],"placed":[51],"strategic":[53],"positions":[54],"software":[57],"stack":[58],"trigger":[60],"transition":[62],"safe":[65],"system":[66],"state,":[67,84,104],"e.g.":[68],"by":[69],"rebooting.":[70],"Although":[71],"significantly":[74],"reduce":[75],"occurrence":[77],"SDCs":[79,107],"checked":[82],"program":[83,92,103,156,177],"they":[85],"also":[86,137],"increase":[87],"runtime":[89],"thus":[95],"figurative":[97],"\u201cattack":[98],"surface\u201d":[99],"remaining":[102],"making":[105],"more":[106],"possible":[108],"there.":[109],"In":[110],"light":[111],"this":[113,131,135,171],"tradeoff,":[114],"SDC":[116,164],"rate":[117],"is":[118,147],"minimal":[119],"specific":[122],"detector":[123,145],"configuration":[124],"enabling":[125],"subset":[127],"detectors.In":[130],"paper,":[132],"we":[133,158,173],"investigate":[134],"tradeoff":[136],"scenarios":[139],"where":[140],"enumerating":[141],"evaluating":[143],"configurations":[146],"infeasible.":[148],"Exploiting":[149],"compositionality":[150],"properties":[151],"fault-injection":[153],"results":[154],"partitions,":[157],"propose":[159],"method":[161],"calculate":[163],"counts":[165],"unknown":[167],"configurations.":[168],"Based":[169],"on":[170],"method,":[172],"formulate":[174],"an":[175,182],"integer-linear":[176],"allows":[179],"quickly":[180],"finding":[181],"optimal":[183],"solution.":[184],"An":[185],"evaluation":[186],"with":[187],"pre-existing":[188],"FreeRTOS":[192],"eCos":[194],"demonstrates":[195],"applicability":[196],"accuracy":[198],"real-world":[200],"use-case":[201],"scenarios.":[202]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}