{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:06:34Z","timestamp":1740132394582,"version":"3.37.3"},"reference-count":26,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100012818","name":"Community of Madrid","doi-asserted-by":"crossref","award":["CM\/JIN\/2019-032"],"award-info":[{"award-number":["CM\/JIN\/2019-032"]}],"id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Aerosp. Electron. Syst."],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/taes.2023.3284419","type":"journal-article","created":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T17:46:53Z","timestamp":1686246413000},"page":"1-17","source":"Crossref","is-referenced-by-count":1,"title":["Memory Management Unit for Hardware-assisted Dynamic Relocation in on-board Satellite Systems"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4748-6944","authenticated-orcid":false,"given":"Borja","family":"Losa","sequence":"first","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4242-8297","authenticated-orcid":false,"given":"Pablo","family":"Parra","sequence":"additional","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio Da","family":"Silva","sequence":"additional","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7893-4247","authenticated-orcid":false,"given":"\u00d3scar R.","family":"Polo","sequence":"additional","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Ignacio G.","family":"Tejedor","sequence":"additional","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agust\u013an","family":"Mart\u013anez","sequence":"additional","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5600-9253","authenticated-orcid":false,"given":"Jonatan","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebasti\u00e1n","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"Space Research Group, Universidad of Alcalá, Edificio Politécnico, Alcalá de Henares, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6729-7932","authenticated-orcid":false,"given":"David","family":"Guzm\u00e1n","sequence":"additional","affiliation":[{"name":"NASA Goddard Space Flight Center, Greenbelt, MD, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/TAES.2020.2977792"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1002\/9781118084328"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.sysarc.2020.101920"},{"year":"2021","article-title":"SAVOIR-GS-002 - SAVOIR flight computer initialisation sequence generic specification","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1038\/nature.2016.19835"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/356571.356573"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/s11241-007-9032-3"},{"volume":"3A","year":"2021","article-title":"Intel 64 and IA-32 architectures software developers manual","key":"ref8"},{"key":"ref9","first-page":"5","article-title":"AMD64 architecture programmers manual","volume":"2","year":"2021"},{"year":"2021","article-title":"Arm architecture reference manual","key":"ref10"},{"year":"1992","first-page":"241","article-title":"The SPARC architecture manual - version 8","key":"ref11"},{"key":"ref12","first-page":"48","article-title":"The RISC-V instruction set manual","volume":"II","year":"2019"},{"key":"ref13","first-page":"25","article-title":"MIPS architecture for programmers","volume":"3","year":"2015"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1016\/j.asr.2013.05.029"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1051\/0004-6361\/201935287"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1145\/2671181"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/TAES.2018.2852198"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/MIXDES.2006.1706538"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/1284480.1284559"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/RTCSA.2014.6910522"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/DSD.2012.32"},{"year":"2021","first-page":"1409","article-title":"GRLIB VHDL IP core library - GRLIB IP Core Users Manual","key":"ref22"},{"key":"ref23","first-page":"198","article-title":"Injecting faults to succeed. verification of the boot software on-board Solar Orbiters energetic particle detector","volume-title":"Acta Astronautica","volume":"95","author":"Silva","year":"2014"},{"key":"ref24","first-page":"203","article-title":"Agile deployment and code coverage testing metrics of the boot software on-board Solar Orbiters energetic particle detector","volume-title":"Acta Astronautica","volume":"143","author":"Parra","year":"2018"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1145\/358274.358283"},{"year":"2020","first-page":"5","article-title":"BCC Users Manual, Cobham Gaisler AB","key":"ref26"}],"container-title":["IEEE Transactions on Aerospace and Electronic Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7\/7778228\/10146539.pdf?arnumber=10146539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T02:16:55Z","timestamp":1705025815000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10146539\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/taes.2023.3284419","relation":{},"ISSN":["0018-9251","1557-9603","2371-9877"],"issn-type":[{"type":"print","value":"0018-9251"},{"type":"electronic","value":"1557-9603"},{"type":"electronic","value":"2371-9877"}],"subject":[],"published":{"date-parts":[[2023]]}}}