{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:50:24Z","timestamp":1764175824816,"version":"3.40.3"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T00:00:00Z","timestamp":1732060800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,11,20]]},"DOI":"10.1109\/icsrs63046.2024.10927522","type":"proceedings-article","created":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T23:18:00Z","timestamp":1743463080000},"page":"40-48","source":"Crossref","is-referenced-by-count":1,"title":["Enhancing a Soft GPU IP Reliability Against SEUs in Space: Modelling Approach and Criticality Analysis on a Radiation-Tolerant FPGA"],"prefix":"10.1109","author":[{"given":"Matteo","family":"Monopoli","sequence":"first","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Biondi","sequence":"additional","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Todaro","sequence":"additional","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Nannipieri","sequence":"additional","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Moranti","sequence":"additional","affiliation":[{"name":"European Space Research and Technology Centre, European Space Agency (ESA),Noordwijk,The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cinzia","family":"Bernardeschi","sequence":"additional","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Fanucci","sequence":"additional","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2015.2431223"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268908"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2016.31"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-25755-1_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/EDHPC59100.2023.10396289"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/EDHPC59100.2023.10396155"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PRIME58259.2023.10161859"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2008.917757"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.940269"},{"key":"ref10","first-page":"31","article-title":"An introduction to the opencl program-ming model","volume":"49","author":"Tompson","year":"2012","journal-title":"Person Education"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1281500.1281647"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/EDHPC59100.2023.10396624"},{"key":"ref13","first-page":"241","article-title":"The mobius modeling tool","volume-title":"Proceedings 9th International Workshop on Petri Nets and Performance Models. IEEE Comput. Soc","author":"Clark","year":"2001"},{"article-title":"Ecss system - glossary of terms","volume-title":"European Cooperation for Space Standardization, Standard","year":"2023","key":"ref14"},{"article-title":"Engineering techniques for radiation effects mitigation in asics and fpgas handbook","volume-title":"European Cooperation for Space Standardization, Standard","year":"2023","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2006.32"},{"journal-title":"Reliability analysis of triple modular redundancy system with spare","year":"1993","author":"Al-Kofahi","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805940"},{"key":"ref19","first-page":"1","article-title":"Design of reliable, low power, and enhanced performance architecture of on-board computer for cubesats","author":"Sajjad","year":"2023","journal-title":"IEEE Journal on Miniaturization for Air and Space Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED48828.2020.9137019"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3327786"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1201\/9781439863961"},{"issue":"2","key":"ref23","volume-title":"Markov chains","author":"Norris","year":"1998"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"956","DOI":"10.1109\/TSE.2002.1041052","article-title":"The mobius framework and its implementation","volume":"28","author":"Deavours","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1145\/1530873.1530878","article-title":"Performance and dependability modeling with mobius","volume":"36","author":"Gaonkar","year":"2009","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/DSN.2009.5270318","article-title":"Mobius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models","volume-title":"2009 IEEEIIFIP International Conference on Dependable Systems & Networks","author":"Courtney","year":"2009"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref28","article-title":"A method to compute seu fault probabilities in memory arrays with error correction","volume-title":"Dual-Use Space Technology Transfer Conference and Exhibition","volume":"2","author":"Gercek","year":"1994"},{"volume-title":"Intel Agilex\u00ae 7 SEU Mitigation User Guide; Intel Agilex\u00ae 7 SEU Mitigation User Guide","year":"2024","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s11858-018-0957-x"}],"event":{"name":"2024 8th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2024,11,20]]},"location":"Sicily, Italy","end":{"date-parts":[[2024,11,22]]}},"container-title":["2024 8th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10927037\/10927041\/10927522.pdf?arnumber=10927522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T08:11:51Z","timestamp":1743495111000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10927522\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,20]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/icsrs63046.2024.10927522","relation":{},"subject":[],"published":{"date-parts":[[2024,11,20]]}}}