{"id":"https://openalex.org/W2757242886","doi":"https://doi.org/10.1145/3126503","title":"Demystifying Soft-Error Mitigation by Control-Flow Checking -- A New Perspective on its Effectiveness","display_name":"Demystifying Soft-Error Mitigation by Control-Flow Checking -- A New Perspective on its Effectiveness","publication_year":2017,"publication_date":"2017-09-27","ids":{"openalex":"https://openalex.org/W2757242886","doi":"https://doi.org/10.1145/3126503","mag":"2757242886"},"language":"en","primary_location":{"id":"doi:10.1145/3126503","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3126503","pdf_url":null,"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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102727172","display_name":"Simon F. Schuster","orcid":"https://orcid.org/0000-0003-3330-1611"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Simon Schuster","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)","institution_ids":["https://openalex.org/I181369854"]}]},{"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/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Peter Ulbrich","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022960319","display_name":"Isabella Stilkerich","orcid":"https://orcid.org/0000-0002-3213-7939"},"institutions":[{"id":"https://openalex.org/I4210150240","display_name":"Schaeffler (Germany)","ror":"https://ror.org/05dbapj97","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210150240"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Isabella Stilkerich","raw_affiliation_strings":["Schaeffler Technologies AG 8 Co. KG"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Schaeffler Technologies AG 8 Co. KG","institution_ids":["https://openalex.org/I4210150240"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066046654","display_name":"Christian Dietrich","orcid":"https://orcid.org/0000-0001-9258-0513"},"institutions":[{"id":"https://openalex.org/I114112103","display_name":"Leibniz University Hannover","ror":"https://ror.org/0304hq317","country_code":"DE","type":"education","lineage":["https://openalex.org/I114112103"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Dietrich","raw_affiliation_strings":["Leibniz Universit\u00e4t Hannover (LUH)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Leibniz Universit\u00e4t Hannover (LUH)","institution_ids":["https://openalex.org/I114112103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078254306","display_name":"Wolfgang Schr\u00f6der\u2010Preikschat","orcid":"https://orcid.org/0000-0002-5216-2103"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Schr\u00f6Der-Preikschat","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg (FAU)","institution_ids":["https://openalex.org/I181369854"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2816,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.59089887,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"16","issue":"5s","first_page":"1","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"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/T11424","display_name":"Security and Verification in Computing","score":0.9907000064849854,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9890000224113464,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/control-flow","display_name":"Control flow","score":0.7163540720939636},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.7054659128189087},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.7019132375717163},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6908887028694153},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6747570037841797},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6211991906166077},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5175039768218994},{"id":"https://openalex.org/keywords/soft-error","display_name":"Soft error","score":0.501507043838501},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4965682625770569},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.45769861340522766},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.4110141396522522},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3516104221343994},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3458993434906006},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.340314120054245},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.32682347297668457},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15592294931411743},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09431889653205872},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09004715085029602},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07925719022750854}],"concepts":[{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.7163540720939636},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.7054659128189087},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.7019132375717163},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6908887028694153},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6747570037841797},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6211991906166077},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5175039768218994},{"id":"https://openalex.org/C154474529","wikidata":"https://www.wikidata.org/wiki/Q1658917","display_name":"Soft error","level":2,"score":0.501507043838501},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4965682625770569},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.45769861340522766},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.4110141396522522},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3516104221343994},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3458993434906006},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.340314120054245},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.32682347297668457},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15592294931411743},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09431889653205872},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09004715085029602},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07925719022750854},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C165205528","wikidata":"https://www.wikidata.org/wiki/Q83371","display_name":"Seismology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3126503","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3126503","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7767759634","display_name":null,"funder_award_id":"SCHR 603/9-2 & SFB/TR89, Project C1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W115789941","https://openalex.org/W130575599","https://openalex.org/W190190587","https://openalex.org/W1487279492","https://openalex.org/W1976431848","https://openalex.org/W1978082708","https://openalex.org/W1980073965","https://openalex.org/W1981514768","https://openalex.org/W1994790819","https://openalex.org/W2000387884","https://openalex.org/W2004417042","https://openalex.org/W2004420781","https://openalex.org/W2010905516","https://openalex.org/W2011474425","https://openalex.org/W2016591508","https://openalex.org/W2026840811","https://openalex.org/W2108557605","https://openalex.org/W2108859490","https://openalex.org/W2125169487","https://openalex.org/W2129254189","https://openalex.org/W2137398302","https://openalex.org/W2140958850","https://openalex.org/W2144996771","https://openalex.org/W2145930995","https://openalex.org/W2151677873","https://openalex.org/W2152652532","https://openalex.org/W2152757758","https://openalex.org/W2159974285","https://openalex.org/W2164598548","https://openalex.org/W2165974325","https://openalex.org/W2166104547","https://openalex.org/W2169596872","https://openalex.org/W2247093607","https://openalex.org/W2342204193","https://openalex.org/W2546044294","https://openalex.org/W2563449037","https://openalex.org/W2592188707","https://openalex.org/W2612721600","https://openalex.org/W4247461087","https://openalex.org/W4249175732"],"related_works":["https://openalex.org/W2044069930","https://openalex.org/W2078707653","https://openalex.org/W3196277062","https://openalex.org/W4224229821","https://openalex.org/W2079643259","https://openalex.org/W2782341877","https://openalex.org/W2593605297","https://openalex.org/W2969553121","https://openalex.org/W1553526993","https://openalex.org/W2408771053"],"abstract_inverted_index":{"Soft":[0],"errors":[1],"are":[2],"a":[3,47],"challenging":[4],"and":[5,22,58,87,94,122,168,189,202],"urging":[6],"problem":[7],"in":[8,64,97,103,155,164,211],"the":[9,29,83,91,108,117,126,153,160,177,185,203,218],"domain":[10],"of":[11,31,85,111,166,184,205],"safety-critical":[12],"embedded":[13],"systems.":[14],"For":[15],"decades,":[16],"checking":[17],"schemes":[18,57,219],"have":[19],"been":[20,135],"investigated":[21],"improved":[23],"to":[24,70,119],"mitigate":[25],"soft-error":[26],"effects":[27],"for":[28,82],"class":[30],"control-flow":[32,148,209],"faults,":[33],"with":[34,207],"current":[35],"industrial":[36],"standards":[37],"strongly":[38],"recommending":[39],"their":[40,62,123],"use.":[41],"However,":[42],"reality":[43],"looks":[44],"different:":[45],"Taking":[46],"systems":[48,206],"perspective,":[49],"we":[50,80,115],"implemented":[51],"four":[52],"representative":[53],"Control-Flow":[54],"Checking":[55],"(CFC)":[56],"put":[59],"them":[60],"through":[61],"paces":[63],"396":[65],"fault-injection":[66],"campaigns.":[67],"In":[68,113,191],"contrast":[69],"previous":[71],"work,":[72],"which":[73],"typically":[74],"relied":[75],"on":[76,90,125,176,181],"probability-based":[77],"vulnerability":[78,204],"metrics,":[79],"accounted":[81],"influence":[84,124],"memory":[86,167],"time":[88],"overheads":[89],"fault-space":[92],"dimensions":[93],"applied":[95],"those":[96],"full-scan":[98],"fault":[99],"injections.":[100],"This":[101],"change":[102],"procedure":[104],"alone":[105],"severely":[106],"degraded":[107],"perceived":[109],"effectiveness":[110],"CFC.":[112],"addition,":[114],"expanded":[116],"perspective":[118],"data-flow":[120],"faults":[121,149,157],"overall":[127],"susceptibility,":[128],"an":[129],"aspect":[130],"that":[131],"so":[132],"far":[133],"has":[134],"largely":[136],"ignored.":[137],"Our":[138],"results":[139],"suggest":[140],"that,":[141],"without":[142],"accompanying":[143],"measures,":[144],"any":[145],"improvement":[146],"regarding":[147],"is":[150,195],"dominated":[151],"by":[152,159,217],"increase":[154],"data":[156],"caused":[158],"increased":[161,216],"attack":[162],"surface":[163],"terms":[165],"runtime":[169],"overhead.":[170],"Moreover,":[171],"CFC":[172,194],"performance":[173],"less":[174],"depended":[175],"detection":[178],"capabilities":[179],"than":[180],"general":[182],"aspects":[183],"concrete":[186],"binary":[187],"compilation":[188],"execution.":[190],"conclusion,":[192],"incorporating":[193],"not":[196],"as":[197,199],"straightforward":[198],"often":[200],"assumed":[201],"hardened":[208],"may":[210],"many":[212],"cases":[213],"even":[214],"be":[215],"themselves.":[220]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}