{"id":"https://openalex.org/W4416725924","doi":"https://doi.org/10.1109/dft66274.2025.11257577","title":"Automatic Data Redundancy in Safety-Critical Applications Using Trait-Based Code Transformation","display_name":"Automatic Data Redundancy in Safety-Critical Applications Using Trait-Based Code Transformation","publication_year":2025,"publication_date":"2025-10-21","ids":{"openalex":"https://openalex.org/W4416725924","doi":"https://doi.org/10.1109/dft66274.2025.11257577"},"language":null,"primary_location":{"id":"doi:10.1109/dft66274.2025.11257577","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dft66274.2025.11257577","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","raw_type":"proceedings-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/A5066150778","display_name":"Mohammadreza Amel Solouki","orcid":"https://orcid.org/0000-0002-3430-9706"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mohammadreza Amel Solouki","raw_affiliation_strings":["Politecnico di Torino,Department of Control and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Department of Control and Computer Engineering","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018567565","display_name":"Corrado De Sio","orcid":"https://orcid.org/0000-0003-4212-3052"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Corrado De Sio","raw_affiliation_strings":["Politecnico di Torino,Department of Control and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Department of Control and Computer Engineering","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076102072","display_name":"Maurizio Rebaudengo","orcid":"https://orcid.org/0000-0002-7135-7694"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maurizio Rebaudengo","raw_affiliation_strings":["Politecnico di Torino,Department of Control and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Department of Control and Computer Engineering","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005965937","display_name":"Jacopo Sini","orcid":"https://orcid.org/0000-0002-2163-9925"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Jacopo Sini","raw_affiliation_strings":["Politecnico di Torino,Department of Control and Computer Engineering"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Department of Control and Computer Engineering","institution_ids":["https://openalex.org/I177477856"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5066150778"],"corresponding_institution_ids":["https://openalex.org/I177477856"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38453522,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.3928999900817871,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.3928999900817871,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.2290000021457672,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.18150000274181366,"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/programmer","display_name":"Programmer","score":0.5418999791145325},{"id":"https://openalex.org/keywords/codebase","display_name":"Codebase","score":0.5097000002861023},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.5077999830245972},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.49729999899864197},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4302999973297119},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.38100001215934753},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.34139999747276306},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.32760000228881836}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8130999803543091},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5418999791145325},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.5097000002861023},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.5077999830245972},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.49729999899864197},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46799999475479126},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4302999973297119},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.38100001215934753},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.34139999747276306},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.33160001039505005},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.32760000228881836},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.30399999022483826},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.28279998898506165},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2800999879837036},{"id":"https://openalex.org/C56288433","wikidata":"https://www.wikidata.org/wiki/Q58673","display_name":"Data manipulation language","level":2,"score":0.2775999903678894},{"id":"https://openalex.org/C7545210","wikidata":"https://www.wikidata.org/wiki/Q838123","display_name":"Data redundancy","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.27219998836517334},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.27090001106262207},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26989999413490295},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2671999931335449},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.2565000057220459},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dft66274.2025.11257577","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dft66274.2025.11257577","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1584505081","https://openalex.org/W2002003432","https://openalex.org/W2031929928","https://openalex.org/W2080071888","https://openalex.org/W2147674979","https://openalex.org/W2152452249","https://openalex.org/W2737641195","https://openalex.org/W2913778057","https://openalex.org/W3012271718","https://openalex.org/W4221038235","https://openalex.org/W4309333277","https://openalex.org/W4388997031","https://openalex.org/W4404914463","https://openalex.org/W4410582193"],"related_works":[],"abstract_inverted_index":{"The":[0,17,40,77,111],"paper":[1,78],"describes":[2],"a":[3,14,80,99,114],"systematic":[4],"approach":[5,41],"for":[6,82,132],"the":[7,22,37,50,55,106,117,142,147,156,160],"automatic":[8,92],"introduction":[9],"of":[10,25,108,113],"data":[11,93,103,153],"redundancy":[12,94],"in":[13,162],"safety-critical":[15],"application.":[16],"transformations":[18],"aim":[19],"to":[20,119,155],"make":[21],"program":[23],"capable":[24],"detecting":[26],"potential":[27,109],"soft":[28],"errors":[29],"caused":[30],"by":[31,54,86,97,146],"transient":[32],"faults":[33],"that":[34,48,101],"may":[35],"alter":[36],"program's":[38],"data.":[39],"is":[42,60],"based":[43],"on":[44,62],"an":[45,91],"automated":[46],"system":[47],"leverages":[49],"polymorphism":[51],"features":[52],"offered":[53],"Rust":[56,59],"programming":[57],"language.":[58],"focused":[61],"speed,":[63],"safety,":[64],"and":[65,67,105,127,159],"concurrency,":[66],"it":[68],"also":[69],"provides":[70],"powerful":[71],"high-level":[72],"abstractions":[73],"at":[74],"zero":[75],"cost.":[76],"proposes":[79],"technique":[81],"hardening":[83],"source":[84],"code":[85,89,134,163],"creating":[87],"redundant":[88],"through":[90],"system,":[95],"achieved":[96,145],"defining":[98],"trait":[100,115],"enables":[102],"duplication":[104],"detection":[107],"errors.":[110],"use":[112],"allows":[116],"compiler":[118],"generate":[120],"optimized":[121],"code,":[122],"without":[123],"introducing":[124],"abstraction-related":[125],"overhead":[126,158],"with":[128],"minimal":[129],"programmer":[130],"effort":[131],"boilerplate":[133],"generation.":[135],"Preliminary":[136],"experimental":[137],"results":[138],"are":[139],"presented,":[140],"showing":[141],"fault":[143],"coverage":[144],"method,":[148],"as":[149,151],"well":[150],"some":[152],"related":[154],"performance":[157],"increase":[161],"size.":[164]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-11-25T00:00:00"}