{"id":"https://openalex.org/W4391979559","doi":"https://doi.org/10.1145/3641399.3641471","title":"Safeguarding Controller Variables from SEUs using Static Analysis","display_name":"Safeguarding Controller Variables from SEUs using Static Analysis","publication_year":2024,"publication_date":"2024-02-20","ids":{"openalex":"https://openalex.org/W4391979559","doi":"https://doi.org/10.1145/3641399.3641471"},"language":"en","primary_location":{"id":"doi:10.1145/3641399.3641471","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641399.3641471","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3641399.3641471","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th Innovations in Software Engineering Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3641399.3641471","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068287609","display_name":"P Ganesha","orcid":null},"institutions":[{"id":"https://openalex.org/I181514455","display_name":"International Institute of Information Technology Bangalore","ror":"https://ror.org/05h9eqy10","country_code":"IN","type":"education","lineage":["https://openalex.org/I181514455"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ganesha","raw_affiliation_strings":["International Institute of Information Technology Bangalore, India"],"raw_orcid":"https://orcid.org/0000-0001-9461-9231","affiliations":[{"raw_affiliation_string":"International Institute of Information Technology Bangalore, India","institution_ids":["https://openalex.org/I181514455"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000470349","display_name":"Sujit Kumar Chakrabarti","orcid":"https://orcid.org/0000-0001-8422-2900"},"institutions":[{"id":"https://openalex.org/I181514455","display_name":"International Institute of Information Technology Bangalore","ror":"https://ror.org/05h9eqy10","country_code":"IN","type":"education","lineage":["https://openalex.org/I181514455"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sujit Kumar Chakrabarti","raw_affiliation_strings":["International Institute of Information Technology Bangalore, India"],"raw_orcid":"https://orcid.org/0000-0001-8422-2900","affiliations":[{"raw_affiliation_string":"International Institute of Information Technology Bangalore, India","institution_ids":["https://openalex.org/I181514455"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I181514455"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01539512,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"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/computer-science","display_name":"Computer science","score":0.5998969674110413},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5692760944366455},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.5081295967102051},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.5072033405303955},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.49335184693336487},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.358420193195343},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31793832778930664},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29428452253341675},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.24830397963523865},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22453564405441284},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.10055825114250183}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5998969674110413},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5692760944366455},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.5081295967102051},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.5072033405303955},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.49335184693336487},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.358420193195343},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31793832778930664},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29428452253341675},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.24830397963523865},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22453564405441284},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.10055825114250183},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3641399.3641471","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641399.3641471","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3641399.3641471","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th Innovations in Software Engineering Conference","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3641399.3641471","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3641399.3641471","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3641399.3641471","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th Innovations in Software Engineering Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4391979559.pdf"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W2107694153","https://openalex.org/W2116097016","https://openalex.org/W2149394641","https://openalex.org/W2294017319"],"related_works":["https://openalex.org/W1811150425","https://openalex.org/W2081659623","https://openalex.org/W1657791491","https://openalex.org/W2132874107","https://openalex.org/W2016796784","https://openalex.org/W2124822255","https://openalex.org/W48604291","https://openalex.org/W2289630902","https://openalex.org/W4285814480","https://openalex.org/W2573637329"],"abstract_inverted_index":{"Control":[0],"systems":[1],"deployed":[2],"in":[3,71,98,118],"safety-critical":[4],"applications":[5],"face":[6],"the":[7,34,56,61,67,72,87,90,107,111,116,122,128],"risk":[8,112],"of":[9,36,48,89,106,113,121,131,144],"Single":[10],"Event":[11],"Upsets":[12],"(SEUs),":[13],"wherein":[14],"rare,":[15],"random":[16],"phenomena":[17],"can":[18],"induce":[19],"errors,":[20],"potentially":[21],"leading":[22,162],"to":[23,32,65,82,92,101,152,163],"catastrophic":[24],"consequences.":[25],"This":[26],"paper":[27],"proposes":[28],"a":[29,46,104,138],"novel":[30],"approach":[31],"enhance":[33],"reliability":[35],"control":[37],"algorithms":[38],"by":[39,159],"identifying":[40],"conditionally":[41],"relevant":[42],"variables":[43,155],"(CRVs)":[44],"through":[45],"combination":[47],"static":[49,160],"analysis":[50,147],"and":[51,148,165],"formal":[52],"verification":[53,149],"techniques.":[54],"Once":[55],"CRV":[57],"has":[58],"been":[59],"located,":[60],"compiler":[62],"is":[63,80,97,133,150],"instructed":[64],"produce":[66],"code":[68],"that":[69,109,126,156],"lives":[70],"silicon":[73],"chip\u2019s":[74],"hardening":[75],"region,":[76],"remaining":[77],"Non-Critical":[78],"part":[79],"moved":[81],"non-hardened":[83],"part.":[84],"Hardening":[85],"causes":[86],"cost":[88],"chip":[91,108],"go":[93],"up;":[94],"hence,":[95],"it":[96],"our":[99],"interest":[100],"harden":[102],"only":[103],"portion":[105],"balances":[110],"SEUs":[114],"with":[115],"rise":[117],"manufacturing":[119],"costs":[120],"chip.":[123],"We":[124],"know":[125],"discovering":[127],"actual":[129],"set":[130],"CRVs":[132],"undecidable.":[134],"Slicing":[135],"gives":[136],"us":[137],"sound":[139,164],"but":[140],"loose":[141],"upper":[142],"bound":[143],"CRVs.":[145],"Program":[146],"used":[151],"detect":[153],"irrelevant":[154],"are":[157],"missed":[158],"slicing":[161],"more":[166],"precise":[167],"estimates.":[168]},"counts_by_year":[],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2025-10-10T00:00:00"}