{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:10Z","timestamp":1761487930553,"version":"3.28.0"},"reference-count":47,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/dsd.2007.4341459","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:59Z","timestamp":1191951959000},"page":"124-131","source":"Crossref","is-referenced-by-count":9,"title":["Fault Handling in FPGAs and Microcontrollers in Safety-Critical Embedded Applications: A Comparative Survey"],"prefix":"10.1109","author":[{"given":"Falk","family":"Salewski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam","family":"Taylor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Safety-Critical Computer Systems","year":"1996","author":"storey","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.62"},{"key":"ref33","article-title":"Improving fpga design robustness with partial tmr","author":"pratt","year":"2005","journal-title":"Proc Int Conf on Military and Aerospace Programmable Logic Devices"},{"journal-title":"Cortex-r4 A mid-range processor for deeply-embedded applications","year":"2006","author":"penton","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/24.994913"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/23.556861"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/IES.2006.357483"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/5.231340"},{"key":"ref35","article-title":"Design of safety systems using field programmable gate arrays","author":"rodrguez-andina","year":"1994","journal-title":"Workshop on Field-Programmable Logic and Applications (FPL)"},{"journal-title":"Logic design pathology and space flight electronics","year":"0","author":"katz","key":"ref34"},{"journal-title":"Mini aercam project","year":"2004","author":"cotner","key":"ref10"},{"journal-title":"Embedded System Design A Unified Hardware\/Software Introduction","year":"2002","author":"vahid","key":"ref40"},{"key":"ref11","article-title":"Improve-hdl-a do-2S4 formal property checker used for design and verification of avionics protocol controllers","author":"dellacherie","year":"2003","journal-title":"In Digital Avionics Systems Conference (DASC'03) IEEE"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2004.1333312"},{"journal-title":"On the correlation between code coverage and software reliability","year":"1995","author":"frate","key":"ref13"},{"key":"ref14","article-title":"Restoring reliability in fault tolerant reconfigurable systems","author":"gericota","year":"2005","journal-title":"In Actas das lornadas sobre Sistemas Reconfigurveis (REC'2005)"},{"key":"ref15","article-title":"Formal verification of fault tolerance in safety-critical configurable modules","volume":"7","author":"hammarberg","year":"2004","journal-title":"International Journal of Software Tools for Technology Transfer"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44614-1_87"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081190"},{"journal-title":"Functional safety for electrical\/electronic\/programmable electronic safety-related systems Int Electrotechnical Comission","year":"1998","key":"ref18"},{"key":"ref19","article-title":"Coverage analysis techniques for hdl design validation","author":"jou","year":"1999","journal-title":"Proc 6th Asia Pacific Conf Chip Design Languages"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2002.1137644"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2002.1175845"},{"journal-title":"Trst? and the ieee jtag 1149 1 interface na-gsfc-2004–04","article-title":"NASA","year":"2004","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639665"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.74"},{"key":"ref29","article-title":"Formal verification of behavioral vhdl specifications: a case study","author":"nicoli","year":"1994","journal-title":"the European Conference on Design Automation"},{"key":"ref5","article-title":"Vhdl synthesis for high-reliability systems","author":"berg","year":"2004","journal-title":"2004 MAPLD Int Conf"},{"key":"ref8","article-title":"Formal verification of vhdl using vhdl-like ac12 models","author":"borrione","year":"1999","journal-title":"Proc Forum on Design Languages (FDL)"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1109\/OLT.2004.1319663","article-title":"Hybrid soft error detection by means of infrastructure ip cores","author":"bolzani","year":"2004","journal-title":"10th IEEE International On-Line Testing Symposium"},{"key":"ref2","article-title":"Fault tolerance terminology proposals","author":"anderson","year":"1982","journal-title":"In Proceedings of the 12th IEEE International Symposium on Fault Tolerant Computing"},{"key":"ref9","article-title":"Dual core processor solutions for iec61S08 si13 vehicle safety systems","author":"brewerton","year":"2007","journal-title":"Proc of the Embedded World Conference"},{"key":"ref1","article-title":"Error detection & recovery using crc in altera fpga devices","volume":"357","year":"2006","journal-title":"Application Note"},{"journal-title":"XappS64 ppc40S lockstep system on m1310","article-title":"Xilinx","year":"2007","key":"ref46"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/23.658966"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.2003.1227249"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/92.678870"},{"journal-title":"Correcting Single-Event Upsets Through Virtex Partial Configuration","article-title":"Xilinx","year":"2000","key":"ref47"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2002.1007998"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2000.856616"},{"journal-title":"Safeware - System Safety and Computers","year":"1995","author":"leveson","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2000.893659"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/5.259424"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2001.964221"},{"journal-title":"Guidelines for the use of the C language in critical systems Motor Industry Software Reliability Association","year":"2004","key":"ref26"},{"journal-title":"Seu mitigation techniques for xilinx virtex2 pro fpga","year":"2004","author":"wang","key":"ref43"},{"key":"ref25","article-title":"Reliability of antifuse-based field programmable gate arrays for military and aerospace applications","author":"mccollum","year":"2001","journal-title":"In 4th Military and Aerospace Applications of Programmable Devices and Technologies International Conference"}],"event":{"name":"10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)","start":{"date-parts":[[2007,8,29]]},"location":"Lubeck, Germany","end":{"date-parts":[[2007,8,31]]}},"container-title":["10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341432\/4341433\/04341459.pdf?arnumber=4341459","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T23:46:25Z","timestamp":1497743185000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341459\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/dsd.2007.4341459","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}