{"id":"https://openalex.org/W4407029185","doi":"https://doi.org/10.1145/3716140","title":"Semantic Diverse DMR and TMR for High-Integrity AI-Based Function Efficiency","display_name":"Semantic Diverse DMR and TMR for High-Integrity AI-Based Function Efficiency","publication_year":2025,"publication_date":"2025-01-31","ids":{"openalex":"https://openalex.org/W4407029185","doi":"https://doi.org/10.1145/3716140"},"language":"en","primary_location":{"id":"doi:10.1145/3716140","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3716140","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"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 Cyber-Physical Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2117/424688","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055271731","display_name":"Mart\u00ed Caro","orcid":"https://orcid.org/0000-0002-0856-1991"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Mart\u00ed Caro","raw_affiliation_strings":["Barcelona Supercomputing Center, Barcelona, Spain and Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","Barcelona Supercomputing Center, Universitat Polit\u00e8cnica de Catalunya, Spain"],"raw_orcid":"https://orcid.org/0000-0002-0856-1991","affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Barcelona, Spain and Universitat Polit\u00e8cnica de Catalunya, Barcelona, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Universitat Polit\u00e8cnica de Catalunya, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087302728","display_name":"Axel Brando","orcid":"https://orcid.org/0000-0001-8103-391X"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Axel Brando","raw_affiliation_strings":["Barcelona Supercomputing Center, Barcelona, Spain","Barcelona Supercomputing Center, Spain"],"raw_orcid":"https://orcid.org/0000-0001-8103-391X","affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Barcelona, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020861175","display_name":"Jaume Abella","orcid":"https://orcid.org/0000-0001-7951-4028"},"institutions":[{"id":"https://openalex.org/I2799803557","display_name":"Barcelona Supercomputing Center","ror":"https://ror.org/05sd8tv96","country_code":"ES","type":"facility","lineage":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jaume Abella","raw_affiliation_strings":["Barcelona Supercomputing Center, Barcelona, Spain","Barcelona Supercomputing Center, Spain"],"raw_orcid":"https://orcid.org/0000-0001-7951-4028","affiliations":[{"raw_affiliation_string":"Barcelona Supercomputing Center, Barcelona, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]},{"raw_affiliation_string":"Barcelona Supercomputing Center, Spain","institution_ids":["https://openalex.org/I2799803557","https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5965,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81352948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"9","issue":"2","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9965999722480774,"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.9965999722480774,"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/T10036","display_name":"Advanced Neural Network Applications","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9915000200271606,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.745772123336792},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7307325601577759},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.7009873390197754},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.6131021976470947},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.5817872285842896},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.509971022605896},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5072083473205566},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.5035044550895691},{"id":"https://openalex.org/keywords/error-detection-and-correction","display_name":"Error detection and correction","score":0.4701191186904907},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44520774483680725},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4365863800048828},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.4325460195541382},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.4155592918395996},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3979409337043762},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.34847795963287354},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3440585136413574},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2999385595321655},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2807086110115051},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21837067604064941}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.745772123336792},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7307325601577759},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.7009873390197754},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.6131021976470947},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.5817872285842896},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.509971022605896},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5072083473205566},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.5035044550895691},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.4701191186904907},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44520774483680725},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4365863800048828},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.4325460195541382},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.4155592918395996},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3979409337043762},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.34847795963287354},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3440585136413574},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2999385595321655},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2807086110115051},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21837067604064941},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3716140","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3716140","pdf_url":null,"source":{"id":"https://openalex.org/S2506189754","display_name":"ACM Transactions on Cyber-Physical Systems","issn_l":"2378-962X","issn":["2378-962X","2378-9638"],"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 Cyber-Physical Systems","raw_type":"journal-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/424688","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/424688","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"pmh:oai:upcommons.upc.edu:2117/424688","is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/424688","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4000000059604645}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W2031489346","https://openalex.org/W2135293965","https://openalex.org/W2767260595","https://openalex.org/W2942478610","https://openalex.org/W2943759410","https://openalex.org/W2977809570","https://openalex.org/W2994387618","https://openalex.org/W3035172746","https://openalex.org/W3043995050","https://openalex.org/W3048351344","https://openalex.org/W3093061833","https://openalex.org/W3110268701","https://openalex.org/W4206119771","https://openalex.org/W4229057318","https://openalex.org/W4253747132","https://openalex.org/W4287849465","https://openalex.org/W4385489417","https://openalex.org/W4387527822","https://openalex.org/W4400651912","https://openalex.org/W4407029185"],"related_works":["https://openalex.org/W2356602486","https://openalex.org/W2351992668","https://openalex.org/W2324828474","https://openalex.org/W2374315191","https://openalex.org/W2391207559","https://openalex.org/W2384715785","https://openalex.org/W2349624418","https://openalex.org/W2064459023","https://openalex.org/W2384611437","https://openalex.org/W2116314988"],"abstract_inverted_index":{"Dual":[0],"Modular":[1,6],"Redundancy":[2,7],"(DMR)":[3],"and":[4,52,75,117,148,194,206,212],"Triple":[5],"(TMR),":[8],"often":[9],"with":[10,83,145],"some":[11,172],"form":[12,186],"of":[13,120,187,202],"diversity,":[14],"are":[15,37,68],"used":[16],"in":[17,175,184],"safety-critical":[18],"systems":[19],"to":[20,39,114,150,209],"realize":[21],"those":[22],"functionalities":[23,67,122],"at":[24,198],"the":[25,103,161,166,176,185,200],"highest":[26],"integrity":[27],"level":[28],"providing":[29],"fault":[30,127],"detection":[31],"and/or":[32],"tolerance":[33,128],"capabilities.":[34],"Redundant":[35],"executions":[36],"intended":[38],"provide":[40,181],"bit-level":[41],"identical":[42],"results,":[43,205],"and,":[44],"upon":[45],"any":[46,152],"mismatch,":[47],"an":[48,188],"error":[49],"is":[50,105],"assumed":[51],"recovery":[53],"actions":[54],"taken":[55],"as":[56],"needed.":[57],"In":[58],"this":[59,109],"article,":[60],"we":[61,111,180],"note":[62],"that":[63,123],"many":[64],"emerging":[65],"AI-based":[66,121],"intrinsically":[69],"stochastic":[70],"(e.g.,":[71,90,170],"camera-based":[72],"object":[73],"detection),":[74],"hence,":[76],"their":[77],"correctness":[78],"must":[79,92],"be":[80,93,143],"judged":[81],"semantically,":[82],"room":[84],"for":[85,192],"variations":[86],"across":[87],"correct":[88],"outcomes":[89],"confidence":[91],"above":[94],"a":[95],"given":[96],"threshold,":[97],"but":[98,133,164],"how":[99],"much":[100],"it":[101,211],"exceeds":[102],"threshold":[104],"irrelevant).":[106],"Building":[107],"on":[108,156,216],"observation,":[110],"propose":[112],"strategies":[113],"create":[115],"DMR":[116],"TMR":[118],"implementations":[119],"bring":[124],"not":[125,165],"only":[126],"against":[129,135],"random":[130],"hardware":[131],"faults":[132],"also":[134],"AI":[136],"model":[137],"inaccuracies.":[138],"Those":[139],"strategies,":[140],"which":[141],"can":[142],"realized":[144],"software-only":[146],"means":[147],"ported":[149],"virtually":[151],"computing":[153],"platform,":[154],"build":[155],"input":[157,177,217],"data":[158],"modifications":[159],"affecting":[160],"inference":[162],"computations,":[163],"expected":[167],"semantic":[168],"output":[169],"introducing":[171],"controlled":[173],"changes":[174],"data).":[178],"Moreover,":[179],"our":[182,203],"solution":[183],"open":[189],"source":[190],"tool":[191],"image":[193],"video":[195],"processing":[196],"aimed":[197],"facilitating":[199],"reproducibility":[201],"evaluation":[204],"enabling":[207],"others":[208],"use":[210],"conduct":[213],"further":[214],"research":[215],"transformations.":[218]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}