{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T10:41:59Z","timestamp":1766486519618},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"ARTEMIS Joint Undertaking VeTeSS Project","award":["295311"],"award-info":[{"award-number":["295311"]}]},{"name":"Ministry of Science and Technology of Spain","award":["TIN2012-34557"],"award-info":[{"award-number":["TIN2012-34557"]}]},{"name":"European Network of Excellence on High Performance and Embedded Architecture and Compilation (HiPEAC)"},{"name":"Ministry of Economy and Competitiveness under Ramon y Cajal Post-Doctoral Fellowship","award":["RYC-2013-14717"],"award-info":[{"award-number":["RYC-2013-14717"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/tcad.2015.2434958","type":"journal-article","created":{"date-parts":[[2015,5,19]],"date-time":"2015-05-19T18:43:09Z","timestamp":1432060989000},"page":"1718-1729","source":"Crossref","is-referenced-by-count":30,"title":["Timely Error Detection for Effective Recovery in Light-Lockstep Automotive Systems"],"prefix":"10.1109","volume":"34","author":[{"given":"Carles","family":"Hernandez","sequence":"first","affiliation":[]},{"given":"Jaume","family":"Abella","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","year":"2014","journal-title":"32-bit Power Architecture microcontroller for automotive SIL3\/ASILD chassis and safety applications"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1147\/rd.282.0124"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-642-38789-0_7","article-title":"The challenge of detection and diagnosis of fugacious hardware faults in VLSI designs","author":"espinosa","year":"2013","journal-title":"Dependable Computing"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763200"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2010.53"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/951710.951734"},{"key":"ref10","year":"2013","journal-title":"Qorivva MPC5643L Microcontroller Data Sheet"},{"key":"ref11","year":"2012","journal-title":"AURIX—TriCore Datasheet Highly Integrated and Performance Optimized 32-Bit Microcontrollers for Automotive and Industrial Applications"},{"key":"ref12","year":"2014","journal-title":"32-bit Power Architecture microcontroller for automotive SIL3\/ASILD chassis and safety applications"},{"key":"ref13","year":"2009","journal-title":"Power ISA? Version 2 06 Revision B"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DCFTS.1999.814306"},{"key":"ref15","year":"2009"},{"key":"ref16","year":"1992","journal-title":"Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781037"},{"key":"ref18","first-page":"99","article-title":"Detailed design and evaluation of redundant multithreading alternatives","author":"mukherjee","year":"2002","journal-title":"Proc ISCA"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2005.1609436"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4271\/2000-01-0346"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2013.46"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.976923"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/6.915192"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2008.15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4271\/2000-01-1056"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2011.5994536"},{"key":"ref7","first-page":"32","article-title":"Automotive systems: Where silicon meets the road","volume":"3","author":"vittorelli","year":"2004","journal-title":"Inf Quart Build Blocks Embedded Appl"},{"key":"ref2","author":"clarke","year":"2011","journal-title":"Automotive Chip Content Growing Fast Says Gartner"},{"key":"ref9","year":"2008","journal-title":"PowerPC 750GX Lockstep Facility—Application Note"},{"key":"ref1","article-title":"This car runs on code","author":"charette","year":"2009","journal-title":"IEEE Spectr"},{"key":"ref20","first-page":"25","article-title":"Transient fault detection via simultaneous multithreading","author":"reinhardt","year":"2000","journal-title":"Proceedings of 27th International Symposium on Computer Architecture (IEEE Cat No RS00201) ISCA"},{"key":"ref22","year":"2014","journal-title":"SoCLib"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.70"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2013.6601497"},{"key":"ref23","author":"poovey","year":"2007","journal-title":"Characterization of the EEMBC Benchmark Suite"},{"key":"ref26","year":"2001"},{"key":"ref25","year":"2006","journal-title":"Technical Overview V2 0 1"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/7299732\/07110331.pdf?arnumber=7110331","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:45:41Z","timestamp":1642005941000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7110331\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":36,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2015.2434958","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}