{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T18:32:48Z","timestamp":1771957968924,"version":"3.50.1"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"5s","license":[{"start":{"date-parts":[[2021,9,17]],"date-time":"2021-09-17T00:00:00Z","timestamp":1631836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"German Federal Ministry of Education and Research","award":["01IS17032"],"award-info":[{"award-number":["01IS17032"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2021,10,31]]},"abstract":"<jats:p>Safety-critical embedded systems may either use specialized hardware or rely on Software-Implemented Hardware Fault Tolerance (SIHFT) to meet soft error resilience requirements. SIHFT has the advantage that it can be used with low-cost, off-the-shelf components such as standard Micro-Controller Units. For this, SIHFT methods apply redundancy in software computation and special checker codes to detect transient errors, so called soft errors, that either corrupt the data flow or the control flow of the software and may lead to Silent Data Corruption (SDC). So far, this is done by applying separate SIHFT methods for the data and control flow protection, which leads to large overheads in computation time.<\/jats:p>\n          <jats:p>This work in contrast presents REPAIR, a method that exploits the checks of the SIHFT data flow protection to also detect control flow errors as well, thereby, yielding higher SDC resilience with less computational overhead. For this, the data flow protection methods entail duplicating the computation with subsequent checks placed strategically throughout the program. These checks assure that the two redundant computation paths, which work on two different parts of the register file, yield the same result. By updating the pairing between the registers used in the primary computation path and the registers in the duplicated computation path using the REPAIR method, these checks also fail with high coverage when a control flow error, which leads to an illegal jumps, occurs. Extensive RTL fault injection simulations are carried out to accurately quantify soft error resilience while evaluating Mibench programs along with an embedded case-study running on an OpenRISC processor. Our method performs slightly better on average in terms of soft error resilience compared to the best state-of-the-art method but requiring significantly lower overheads. These results show that REPAIR is a valuable addition to the set of known SIHFT methods.<\/jats:p>","DOI":"10.1145\/3477001","type":"journal-article","created":{"date-parts":[[2021,9,17]],"date-time":"2021-09-17T18:36:51Z","timestamp":1631903811000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["REPAIR: Control Flow Protection based on Register Pairing Updates for SW-Implemented HW Fault Tolerance"],"prefix":"10.1145","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7750-1223","authenticated-orcid":false,"given":"Uzair","family":"Sharif","sequence":"first","affiliation":[{"name":"Technical University of Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Mueller-Gritschneder","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulf","family":"Schlichtmann","sequence":"additional","affiliation":[{"name":"Technical University of Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,9,17]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.774911"},{"key":"e_1_2_1_2_1","unstructured":"Adam Bennett. 2008. Recommended Practice for DMX512: A Guide for Users and Installers : Incorporating USITT DMX512-A and Remote Device Management RDM. PLASA. https:\/\/books.google.de\/books?id=NQopQwAACAAJ.  Adam Bennett. 2008. Recommended Practice for DMX512: A Guide for Users and Installers : Incorporating USITT DMX512-A and Remote Device Management RDM. PLASA. https:\/\/books.google.de\/books?id=NQopQwAACAAJ."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2018.2886094"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517327.2442533"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings - Design Automation Conference 05-09-June","author":"Cheng Eric","year":"2016","unstructured":"Eric Cheng , Shahrzad Mirkhani , Lukasz G. Szafaryn , Chen Yong Cher , Hyungmin Cho , Kevin Skadron , Mircea R. Stan , Klas Lilja , Jacob A. Abraham , Pradip Bose , and Subhasish Mitra . 2016 . CLEAR: Crosslayer exploration for architecting resilience combining hardware and software techniques to tolerate soft errors in processor cores . Proceedings - Design Automation Conference 05-09-June (2016). DOI:https:\/\/doi.org\/10.1145\/2897937.2897996 10.1145\/2897937.2897996 Eric Cheng, Shahrzad Mirkhani, Lukasz G. Szafaryn, Chen Yong Cher, Hyungmin Cho, Kevin Skadron, Mircea R. Stan, Klas Lilja, Jacob A. Abraham, Pradip Bose, and Subhasish Mitra. 2016. CLEAR: Crosslayer exploration for architecting resilience combining hardware and software techniques to tolerate soft errors in processor cores. Proceedings - Design Automation Conference 05-09-June (2016). DOI:https:\/\/doi.org\/10.1145\/2897937.2897996"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001","author":"Cheynet Ph.","year":"2001","unstructured":"Ph. Cheynet , Bogdan Nicolescu , Raoul Velazco , Maurizio Rebaudengo , Matteo Sonza Reorda , and Massimo Violante . 2001 . System safety through automatic high-level code transformations: an experimental evaluation . In Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001 , Munich, Germany , March 12-16, 2001, Wolfgang Nebel and Ahmed Jerraya (Eds.). IEEE Computer Society, 297\u2013301. DOI:https:\/\/doi.org\/10.1109\/DATE.2001.915040 10.1109\/DATE.2001.915040 Ph. Cheynet, Bogdan Nicolescu, Raoul Velazco, Maurizio Rebaudengo, Matteo Sonza Reorda, and Massimo Violante. 2001. System safety through automatic high-level code transformations: an experimental evaluation. In Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001, Munich, Germany, March 12-16, 2001, Wolfgang Nebel and Ahmed Jerraya (Eds.). IEEE Computer Society, 297\u2013301. DOI:https:\/\/doi.org\/10.1109\/DATE.2001.915040"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2015.2484842"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488859"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898054"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203792"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2370036.2145845"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736063"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2003.1250158"},{"key":"e_1_2_1_14_1","volume-title":"Matteo Sonza Reorda, and Massimo Violante","author":"Goloubeva Olga","year":"2006","unstructured":"Olga Goloubeva , Maurizio Rebaudengo , Matteo Sonza Reorda, and Massimo Violante . 2006 . Software-Implemented Hardware Fault Tolerance. Springer US. 228 pages. DOI:https:\/\/doi.org\/10.1007\/0-387-32937-4 10.1007\/0-387-32937-4 Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, and Massimo Violante. 2006. Software-Implemented Hardware Fault Tolerance. Springer US. 228 pages. DOI:https:\/\/doi.org\/10.1007\/0-387-32937-4"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/WWC.2001.990739"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the International Conference on Dependable Systems and Networks (2012","author":"Sastry Hari Siva Kumar","year":"2012","unstructured":"Siva Kumar Sastry Hari , Sarita V. Adve , and Helia Naeimi . 2012 . Low-cost program-level detectors for reducing silent data corruptions . Proceedings of the International Conference on Dependable Systems and Networks (2012 ). DOI:https:\/\/doi.org\/10.1109\/DSN.2012.6263960 10.1109\/DSN.2012.6263960 Siva Kumar Sastry Hari, Sarita V. Adve, and Helia Naeimi. 2012. Low-cost program-level detectors for reducing silent data corruptions. Proceedings of the International Conference on Dependable Systems and Networks (2012). DOI:https:\/\/doi.org\/10.1109\/DSN.2012.6263960"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090716"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ast.2006.06.006"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.37"},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 29th Annual International Symposium on Computer Architecture (ISCA\u201902)","author":"Mukherjee Shubhendu S.","unstructured":"Shubhendu S. Mukherjee , Michael Kontz , and Steven K. Reinhardt . 2002. Detailed design and evaluation of redundant multithreading alternatives . In Proceedings of the 29th Annual International Symposium on Computer Architecture (ISCA\u201902) . IEEE Computer Society, USA, 99\u2013110. Shubhendu S. Mukherjee, Michael Kontz, and Steven K. Reinhardt. 2002. Detailed design and evaluation of redundant multithreading alternatives. In Proceedings of the 29th Annual International Symposium on Computer Architecture (ISCA\u201902). IEEE Computer Society, USA, 99\u2013110."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2003.1250159"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994926"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/500001.500018"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.1999.802887"},{"key":"e_1_2_1_27_1","volume-title":"ESWEEK 2011 - Proceedings of the 9th IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, CODES+ISSS\u201911 (2011","author":"Rehman Semeen","year":"2011","unstructured":"Semeen Rehman , Muhammad Shafique , Florian Kriebel , and J\u00f6rg Henkel . 2011 . Reliable software for unreliable hardware: Embedded code generation aiming at reliability. Embedded Systems Week 2011 , ESWEEK 2011 - Proceedings of the 9th IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, CODES+ISSS\u201911 (2011 ), 237\u2013246. DOI:https:\/\/doi.org\/10.1145\/2039370.2039408 10.1145\/2039370.2039408 Semeen Rehman, Muhammad Shafique, Florian Kriebel, and J\u00f6rg Henkel. 2011. Reliable software for unreliable hardware: Embedded code generation aiming at reliability. Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis, CODES+ISSS\u201911 (2011), 237\u2013246. DOI:https:\/\/doi.org\/10.1145\/2039370.2039408"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3301311"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781037"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2015.44"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2011.5754515"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575353"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2017.2754548"},{"key":"e_1_2_1_35_1","series-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","volume-title":"Random Additive control flow error detection","author":"Vankeirsbilck Jens","unstructured":"Jens Vankeirsbilck , Niels Penneman , Hans Hallez , and Jeroen Boydens . 2018. Random Additive control flow error detection . In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , Barbara Gallina, Amund Skavhaug, and Friedemann Bitsch (Eds.), Vol. 11093 LNCS. Springer International Publishing , Cham , 220\u2013234. DOI:https:\/\/doi.org\/10.1007\/978-3-319-99130-6_15 10.1007\/978-3-319-99130-6_15 Jens Vankeirsbilck, Niels Penneman, Hans Hallez, and Jeroen Boydens. 2018. Random Additive control flow error detection. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Barbara Gallina, Amund Skavhaug, and Friedemann Bitsch (Eds.), Vol. 11093 LNCS. Springer International Publishing, Cham, 220\u2013234. DOI:https:\/\/doi.org\/10.1007\/978-3-319-99130-6_15"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.101"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311877"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477001","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:46Z","timestamp":1750188646000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477001"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,17]]},"references-count":37,"journal-issue":{"issue":"5s","published-print":{"date-parts":[[2021,10,31]]}},"alternative-id":["10.1145\/3477001"],"URL":"https:\/\/doi.org\/10.1145\/3477001","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9,17]]},"assertion":[{"value":"2021-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}