{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:40:37Z","timestamp":1740123637931,"version":"3.37.3"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,1,30]],"date-time":"2017-01-30T00:00:00Z","timestamp":1485734400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1007\/s10836-017-5643-3","type":"journal-article","created":{"date-parts":[[2017,1,29]],"date-time":"2017-01-29T18:45:09Z","timestamp":1485715509000},"page":"77-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A HW\/SW Cross-Layer Approach for Determining Application-Redundant Hardware Faults in Embedded Systems"],"prefix":"10.1007","volume":"33","author":[{"given":"Christian","family":"Bartsch","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7699-8917","authenticated-orcid":false,"given":"Carlos","family":"Villarraga","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,30]]},"reference":[{"key":"5643_CR1","unstructured":"Aitch T (2003) Aquarius: a pipelined RISC CPU. http:\/\/opencores.org\/project,aquarius"},{"issue":"2","key":"5643_CR2","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/32.44380","volume":"16","author":"J Arlat","year":"1990","unstructured":"Arlat J, Aguera M, Amat L, Crouzet Y, Fabre JC, Laprie JC, Martins E, Powell D (1990) Fault injection for dependability validation: a methodology and some applications. IEEE Trans Softw Eng 16(2):166\u2013182","journal-title":"IEEE Trans Softw Eng"},{"key":"5643_CR3","doi-asserted-by":"crossref","unstructured":"Bartsch C, R\u00f6del N, Villarraga C, Stoffel DS, Kunz W (2016) A HW-dependent software model for cross-layer fault analysis in embedded systems. In: 17Th latin-american test symposium (LATS), pp 153\u2013158","DOI":"10.1109\/LATW.2016.7483356"},{"key":"5643_CR4","doi-asserted-by":"crossref","unstructured":"Bernardeschi C, Fantechi A, Gnesi S (1999) Formal validation of the guards inter-consistency mechanism. In: Computer safety, reliability and security, lecture notes in computer science, vol 1698. Springer, Berlin, pp 420\u2013430","DOI":"10.1007\/3-540-48249-0_36"},{"issue":"4","key":"5643_CR5","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1002\/stvr.258","volume":"12","author":"C Bernardeschi","year":"2002","unstructured":"Bernardeschi C, Fantechi A, Gnesi S (2002) Model checking fault tolerant systems. Softw Test Verification Reliab 12(4):251\u2013275","journal-title":"Softw Test Verification Reliab"},{"key":"5643_CR6","unstructured":"Biere A, Cimatti A, Clarke EM, Fujita M, Zhu Y (1999) Symbolic model checking using SAT procedures instead of BDDs. In: Proc. International design automation conference (DAC), pp 317\u2013 320"},{"key":"5643_CR7","doi-asserted-by":"crossref","unstructured":"Boue J, Petillon P, Crouzet Y (1998) MEFISTO-l: a VHDL-based fault injection tool for the experimental assessment of fault tolerance. In: Digest of papers. Twenty-eighth annual international symposium on fault-tolerant computing, pp 168\u2013173","DOI":"10.1109\/FTCS.1998.689467"},{"issue":"6","key":"5643_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/2.386985","volume":"28","author":"JA Clark","year":"1995","unstructured":"Clark JA, Pradhan DK (1995) Fault injection: a method for validating computer-system dependability. Computer 28(6):47\u201356","journal-title":"Computer"},{"issue":"4","key":"5643_CR9","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MSP.2013.54","volume":"11","author":"D Cotroneo","year":"2013","unstructured":"Cotroneo D, Natella R (2013) Fault injection for software certification. IEEE Secur Priv 11(4):38\u201345","journal-title":"IEEE Secur Priv"},{"key":"5643_CR10","doi-asserted-by":"crossref","unstructured":"Darbari A, Hashimi BA, Harrod P, Bradley D (2008) A new approach for transient fault injection using symbolic simulation. In: 14Th IEEE international on-line testing symposium, pp 93\u2013 98","DOI":"10.1109\/IOLTS.2008.59"},{"key":"5643_CR11","doi-asserted-by":"crossref","unstructured":"Daveau JM, Blampey A, Gasiot G, Bulone J, Roche P (2009) An industrial fault injection platform for soft-error dependability analysis and hardening of complex system-on-a-chip. In: IEEE International reliability physics symposium, pp 212\u2013220","DOI":"10.1109\/IRPS.2009.5173253"},{"key":"5643_CR12","doi-asserted-by":"crossref","unstructured":"Ebrahimi M, Chen L, Asadi H, Tahoori MB (2013) CLASS: Combined logic and architectural soft error sensitivity analysis. In: Design automation conference (ASP-DAC), 2013 18th Asia and South Pacific, pp 601\u2013607","DOI":"10.1109\/ASPDAC.2013.6509664"},{"issue":"3","key":"5643_CR13","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1109\/TC.2010.262","volume":"61","author":"L Entrena","year":"2012","unstructured":"Entrena L, Garcia-Valderas M, Fernandez-Cardenal R, Lindoso A, Portela M, Lopez-Ongil C (2012) Soft error sensitivity evaluation of microprocessors by multilevel emulation-based fault injection. IEEE Trans Comput 61(3):313\u2013322","journal-title":"IEEE Trans Comput"},{"issue":"1","key":"5643_CR14","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/TR.2014.2299711","volume":"63","author":"J Gracia-Moran","year":"2014","unstructured":"Gracia-Moran J, Baraza-Calvo J, Gil-Tomas D, Saiz-Adalid L, Gil-Vicente P (2014) Effects of intermittent faults on the reliability of a reduced instruction set computing (RISC) microprocessor. IEEE Trans Reliab 63(1):144\u2013153","journal-title":"IEEE Trans Reliab"},{"key":"5643_CR15","doi-asserted-by":"crossref","unstructured":"Grinschgl J, Krieg A, Steger C, Weiss R, Bock H, Haid J (2012) Efficient fault emulation based on post-injection fault effect analysis (pifea). In: IEEE 55Th international midwest symposium on circuits and systems (MWSCAS), pp 526\u2013529","DOI":"10.1109\/MWSCAS.2012.6292073"},{"key":"5643_CR16","doi-asserted-by":"crossref","unstructured":"Hari SKS, Venkatagiri R, Adve SV, Naeimi H (2014) GangES: Gang error simulation for hardware resiliency evaluation. In: ACM\/IEEE 41St international symposium on computer architecture (ISCA), pp 61\u201372","DOI":"10.1145\/2678373.2665685"},{"issue":"4","key":"5643_CR17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1109\/2.585157","volume":"30","author":"MC Hsueh","year":"1997","unstructured":"Hsueh MC, Tsai T, Iyer R (1997) Fault injection techniques and tools. Computer 30(4):75\u201382","journal-title":"Computer"},{"key":"5643_CR18","doi-asserted-by":"crossref","unstructured":"Kooli M, Natale GD (2014) A survey on simulation-based fault injection tools for complex systems. In: 9Th IEEE international conference on design technology of integrated systems in nanoscale era (DTIS), pp 1\u20136","DOI":"10.1109\/DTIS.2014.6850649"},{"key":"5643_CR19","unstructured":"Larsson D, Haehnle R (2007) Symbolic fault injection. In: Proceedings 4th international verification workshop (verify) in connection with CADE-21, vol 259, pp 85\u2013103"},{"key":"5643_CR20","doi-asserted-by":"crossref","unstructured":"Li ML, Ramachandran P, Karpuzcu UR, Hari SKS, Adve SV (2009) Accurate microarchitecture-level fault modeling for studying hardware faults. In: IEEE 15Th international symposium on high performance computer architecture, pp 105\u2013116","DOI":"10.1109\/HPCA.2009.4798242"},{"key":"5643_CR21","doi-asserted-by":"crossref","unstructured":"Li ML, Ramachandran P, Sahoo SK, Adve SV, Adve VS, Zhou Y (2008) Understanding the propagation of hard errors to software and implications for resilient system design. In: Proceedings of the 13th international conference on architectural support for programming languages and operating systems, ASPLOS XIII, pp 265\u2013276","DOI":"10.1145\/1346281.1346315"},{"issue":"6","key":"5643_CR22","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/j.micpro.2014.05.008","volume":"38","author":"A Miele","year":"2014","unstructured":"Miele A (2014) A fault-injection methodology for the system-level dependability analysis of multiprocessor embedded systems. Microprocess Microsyst 38(6):567\u2013580","journal-title":"Microprocess Microsyst"},{"key":"5643_CR23","doi-asserted-by":"crossref","unstructured":"Mukherjee SS, Weaver C, Emer J, Reinhardt SK, Austin T (2003) A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor. In: Microarchitecture, 2003. MICRO-36. Proceedings. 36th annual IEEE\/ACM international symposium on, pp 29\u201340","DOI":"10.1109\/MICRO.2003.1253181"},{"key":"5643_CR24","unstructured":"Onespin Solutions GmbH OneSpin 360 DV-Verify. https:\/\/www.onespin.com\/products\/360-dv-verify\/"},{"issue":"11","key":"5643_CR25","doi-asserted-by":"crossref","first-page":"2292","DOI":"10.1109\/TC.2012.219","volume":"62","author":"K Pattabiraman","year":"2013","unstructured":"Pattabiraman K, Nakka N, Kalbarczyk Z, Iyer R (2013) Symplfied: Symbolic program-level fault injection and error detection framework. IEEE Trans on Comput 62(11):2292\u20132307","journal-title":"IEEE Trans on Comput"},{"key":"5643_CR26","doi-asserted-by":"crossref","unstructured":"Perez J, Azkarate-Askasua M, Perez A (2010) Codesign and simulated fault injection of safety-critical embedded systems using systemc. In: European dependable computing conference, pp 221\u2013229","DOI":"10.1109\/EDCC.2010.34"},{"key":"5643_CR27","doi-asserted-by":"crossref","unstructured":"Piper T, Winter S, Suri N, Fuhrman TE (2015) On the effective use of fault injection for the assessment of AUTOSAR safety mechanisms. In: 11Th european dependable computing conference (EDCC), pp 85\u201396","DOI":"10.1109\/EDCC.2015.14"},{"issue":"6","key":"5643_CR28","first-page":"777","volume":"28","author":"M Portela-Garcia","year":"2012","unstructured":"Portela-Garcia M, Lindoso A, Entrena L, Garcia-Valderas M, Lopez-Ongil C, Marroni N, Pianta B, Poehls LB, Vargas F (2012) Evaluating the effectiveness of a software-based technique under SEEs using FPGA-based fault injection approach. J Electron Test 28(6):777\u2013789","journal-title":"J Electron Test"},{"issue":"1","key":"5643_CR29","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1109\/TR.2014.2363152","volume":"64","author":"L Rashid","year":"2015","unstructured":"Rashid L, Pattabiraman K, Gopalakrishnan S (2015) Characterizing the impact of intermittent hardware faults on programs. IEEE Trans Reliab 64(1):297\u2013310","journal-title":"IEEE Trans Reliab"},{"key":"5643_CR30","unstructured":"Renesas Electronics Corporation TYO (2005) SH-1\/SH-2\/SH-DSP software manual, rev. 5.0. http:\/\/www.renesas.com\/"},{"issue":"10","key":"5643_CR31","doi-asserted-by":"crossref","first-page":"3055","DOI":"10.1109\/TVLSI.2016.2538800","volume":"24","author":"A Riefert","year":"2016","unstructured":"Riefert A, Cantoro R, Sauer M, Reorda MS, Becker B (2016) A flexible framework for the automatic generation of sbst programs. IEEE Trans on Very Large Scale Integr (VLSI) Syst 24(10):3055\u20133066","journal-title":"IEEE Trans on Very Large Scale Integr (VLSI) Syst"},{"key":"5643_CR32","doi-asserted-by":"crossref","first-page":"135","DOI":"10.2197\/ipsjtsldm.6.135","volume":"6","author":"B Schmidt","year":"2013","unstructured":"Schmidt B, Villarraga C, Fehmel T, Bormann J, Wedler M, Nguyen M, Stoffel D, Kunz W (2013) A new formal verification approach for hardware-dependent embedded system software. IPSJ Trans on Syst LSI Design Methodology (Special Issue on ASPDAC-2013) 6:135\u2013145","journal-title":"IPSJ Trans on Syst LSI Design Methodology (Special Issue on ASPDAC-2013)"},{"key":"5643_CR33","unstructured":"Schwarz M, Chaari M, Tabacaru BA, Ecker W (2015) A meta-model-based approach for semantic fault modeling on multiple abstraction levels. In: Design and verification conference and exhibition europe"},{"key":"5643_CR34","doi-asserted-by":"crossref","unstructured":"Sharma A, Sloan J, Wanner L, Elmalaki S, Srivastava M, Gupta P (2013) Towards analyzing and improving robustness of software applications to intermittent and permanent faults in hardware. In: International conference on computer design , pp 435\u2013438","DOI":"10.1109\/ICCD.2013.6657076"},{"key":"5643_CR35","doi-asserted-by":"crossref","unstructured":"Steiner W, Rushby J, Sorea M, Pfeifer H (2004) Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation. In: International conference on dependable systems and networks, pp 189\u2013198","DOI":"10.1109\/DSN.2004.1311889"},{"key":"5643_CR36","unstructured":"Synopsys Inc. (2010) Design Compiler user guide"},{"key":"5643_CR37","unstructured":"Synopsys Inc. (2013) TetraMAX ATPG user guide"},{"key":"5643_CR38","unstructured":"Tabacaru BA, Chaari M, Ecker W, Kruse T (2014) A meta-modeling-based approach for automatic generation of fault-injection processes. DVCon Europe pp. 1\u20137"},{"key":"5643_CR39","unstructured":"The SIR Project Software-artifact infrastructure repository. http:\/\/sir.unl.edu . Accessed: 2015-09-01"},{"key":"5643_CR40","doi-asserted-by":"crossref","unstructured":"Villarraga C, Schmidt B, Bao B, Raman R, Bartsch C, Fehmel T, Stoffel D, Kunz W (2014) Software in a hardware view: New models for HW-dependent software in SoC verification and test (invited paper). In: Proceedings International test conference (ITC\u201914)","DOI":"10.1109\/TEST.2014.7035308"},{"key":"5643_CR41","unstructured":"Villarraga C, Schmidt B, Bartsch C, Bormann J, Stoffel D, Kunz W (2013) An equivalence checker for hardware-dependent software. In: 11. ACM-IEEE International conference on formal methods and models for codesign (MEMOCODE), pp 119\u2013128"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-017-5643-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10836-017-5643-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10836-017-5643-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T05:16:29Z","timestamp":1498367789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10836-017-5643-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,30]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,2]]}},"alternative-id":["5643"],"URL":"https:\/\/doi.org\/10.1007\/s10836-017-5643-3","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2017,1,30]]}}}