{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:40:19Z","timestamp":1730248819376,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T00:00:00Z","timestamp":1615334400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T00:00:00Z","timestamp":1615334400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T00:00:00Z","timestamp":1615334400000},"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":[[2021,3,10]]},"DOI":"10.1109\/icit46573.2021.9453486","type":"proceedings-article","created":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T20:23:57Z","timestamp":1624047837000},"page":"797-804","source":"Crossref","is-referenced-by-count":0,"title":["Reliable Software Design Aided by QEMU Simulation"],"prefix":"10.1109","author":[{"given":"Rui","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Luis","family":"Novais","sequence":"additional","affiliation":[]},{"given":"Nelson","family":"Naia","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Faria","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Cabral","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2991\/isccca.2013.31"},{"key":"ref11","first-page":"257","article-title":"Synchronization methods in parallel and distributed discrete-event simulation","volume":"77","author":"jafer","year":"1990","journal-title":"IEEE Trans Comput"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.230182"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3916.3988"},{"key":"ref4","article-title":"«Living together in space: The design and operation of the life support systems on the International Space Station»","volume":"1","author":"wieland","year":"1998","journal-title":"NASA Tech Memo"},{"key":"ref3","first-page":"1","article-title":"Fault-tolerant architectures for space and avionics applications","author":"siewiorek","year":"2005","journal-title":"NASA Ames Res"},{"key":"ref6","first-page":"95","article-title":"Hardware reliability","author":"dasgupta","year":"2009","journal-title":"Proc Reliab Maint Support"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2019.04.001"},{"key":"ref8","first-page":"41","article-title":"QEMU, a fast and portable dynamic translator","author":"bellard","year":"2005","journal-title":"USENIX 2005 Annu Tech Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-2113-9"},{"journal-title":"Software Fault Tolerance A Tutorial","year":"2000","author":"wilfredo","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54209-5"},{"article-title":"Advances in Software-Based Fault Tolerance for Resilient Embedded Systems","year":"2016","author":"h\u00f6ller","key":"ref9"}],"event":{"name":"2021 22nd IEEE International Conference on Industrial Technology (ICIT)","start":{"date-parts":[[2021,3,10]]},"location":"Valencia, Spain","end":{"date-parts":[[2021,3,12]]}},"container-title":["2021 22nd IEEE International Conference on Industrial Technology (ICIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9453462\/9453463\/09453486.pdf?arnumber=9453486","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:42:33Z","timestamp":1652197353000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9453486\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icit46573.2021.9453486","relation":{},"subject":[],"published":{"date-parts":[[2021,3,10]]}}}