{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:10:50Z","timestamp":1729617050558,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,7]]},"DOI":"10.1109\/ahs.2014.6880178","type":"proceedings-article","created":{"date-parts":[[2014,8,22]],"date-time":"2014-08-22T16:34:19Z","timestamp":1408725259000},"page":"202-209","source":"Crossref","is-referenced-by-count":3,"title":["Detection of Silent Data Corruption in fault-tolerant distributed systems on board spacecraft"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Fayyaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanya","family":"Vladimirova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2002.1035377"},{"key":"17","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/S1571-0661(04)00247-6","article-title":"Jass Java with assertions","volume":"55","author":"bartetzko","year":"2001","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2012.2192413"},{"key":"15","article-title":"Generating hardware assertion checkers: For hardware verification","author":"boul","year":"2008","journal-title":"Emulation"},{"key":"16","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-540-39656-7_11","article-title":"How the design of JML accommodates both runtime assertion checking and formal verification","volume":"2852","author":"leavens","year":"2003","journal-title":"Formal Methods for Components and Objects"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DEPEND.2010.16"},{"key":"14","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/32.341844","article-title":"Correction to 'a practical approach to programming with assertions","volume":"21","author":"rosenblum","year":"1995","journal-title":"IEEE Trans Softw Eng"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277644"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270291"},{"journal-title":"Swat An Error Resilient System","year":"0","author":"man-lap li","key":"21"},{"key":"20","first-page":"265","author":"li","year":"2008","journal-title":"Understanding the Propagation of Hard Errors to Software and Implications for Resilient System Design"},{"key":"22","article-title":"Towards a Software- Hardware Co-Designed Resilient System","author":"li","year":"2007","journal-title":"Presented at the 3rd Workshop on Silicon Errors in Logic-System Effects"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.39"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.40"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/12.980003"},{"key":"26","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/11693017_23","article-title":"Argus: Online statistical bug detection","volume":"3922","author":"fei","year":"2006","journal-title":"Fundamental Approaches to Software Engineering"},{"key":"27","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/11408901_8","article-title":"An architectural framework for detecting process hangs\/crashes","volume":"3463","author":"nakka","year":"2005","journal-title":"Dependable Computing - EDCC 5"},{"journal-title":"ZEDBAORD Zynq Evaluation and Development Harware User's Guide","year":"2012","key":"28"},{"journal-title":"Zynq-7000 All Programmable SoC Technical Reference Manual","year":"2014","key":"29"},{"key":"3","first-page":"14","article-title":"Design of fault-tolerant computers","author":"avi","year":"1967","journal-title":"Presented at the Proceedings of the November 1967 Fall Joint Computer Conference"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2014.6836199"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/167962.165870"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2012.6268664"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/356589.356590"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/363018.363040"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/32.57626"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1041715.1041719"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2001.915206"},{"key":"8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1008874328893","article-title":"Performance monitoring and assessment of embedded HW\/SW systems","volume":"3","author":"calvez","year":"0","journal-title":"Design Automation for Embedded Systems"}],"event":{"name":"2014 NASA\/ESA Conference on Adaptive Hardware and Systems (AHS)","start":{"date-parts":[[2014,7,14]]},"location":"Leicester, United Kingdom","end":{"date-parts":[[2014,7,17]]}},"container-title":["2014 NASA\/ESA Conference on Adaptive Hardware and Systems (AHS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6874772\/6880141\/06880178.pdf?arnumber=6880178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T06:09:48Z","timestamp":1565762988000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6880178\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/ahs.2014.6880178","relation":{},"subject":[],"published":{"date-parts":[[2014,7]]}}}