{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T21:21:54Z","timestamp":1776460914944,"version":"3.51.2"},"reference-count":117,"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:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/100012818","name":"Comunidad de Madrid Government \u201cNuevas T\u00e9cnicas de Desarrollo de Software de Tiempo Real Embarcado para Plataformas, MPSoC de Pr\u00f3xima Generaci\u00f3n,\u201d","doi-asserted-by":"publisher","award":["IND2019\/TIC-17261"],"award-info":[{"award-number":["IND2019\/TIC-17261"]}],"id":[{"id":"10.13039\/100012818","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3264825","type":"journal-article","created":{"date-parts":[[2023,4,5]],"date-time":"2023-04-05T17:52:59Z","timestamp":1680717179000},"page":"36244-36263","source":"Crossref","is-referenced-by-count":26,"title":["A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-5086-5251","authenticated-orcid":false,"given":"Santiago","family":"Lozano","sequence":"first","affiliation":[{"name":"Computer Science and Engineering Department, University Carlos III of Madrid, Leganés, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamara","family":"Lugo","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University Carlos III of Madrid, Leganés, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1413-4793","authenticated-orcid":false,"given":"Jes\u00fas","family":"Carretero","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University Carlos III of Madrid, Leganés, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2008.4702758"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2008.4702749"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2009.5347560"},{"key":"ref5","first-page":"2","article-title":"Designing predictable multicore architectures for avionics and automotive systems","volume-title":"Proc. Workshop Reconciling Perform. With Predictability (RePP)","author":"Wilhelm"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DASC43569.2019.9081794"},{"key":"ref7","first-page":"36","article-title":"Predictability considerations in the design of multi-core embedded systems","volume-title":"Proc. Embedded Real Time Softw. Syst.","author":"Cullmann"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ReConFig.2012.6416764"},{"key":"ref9","first-page":"1","article-title":"New challenges for future avionic architectures","volume":"4","author":"Bieber","year":"2012","journal-title":"Aeropsacelab J."},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2012.54033"},{"key":"ref11","first-page":"1","article-title":"Embedded real-time virtualization: State of the art and research challenges","volume-title":"Proc. 16th Real-Time Linux Workshop","author":"Taccari"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/j.future.2021.12.002","article-title":"Virtualizing mixed-criticality systems: A survey on industrial trends and issues","volume":"129","author":"Cinque","year":"2022","journal-title":"Future Gener. Comput. Syst."},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/85.145316"},{"key":"ref14","first-page":"12","article-title":"Time sharing in large fast computers","volume-title":"Communications of the ACM","volume":"2","author":"Strachey"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460871"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/85.150016"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1126\/science.162.3850.223"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1147\/rd.255.0483"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1147\/rd.255.0491"},{"issue":"8","key":"ref20","first-page":"1159","article-title":"Instructional use of a mainframe interactive image analysis system","volume":"49","author":"Siebert","year":"1983","journal-title":"Photogramm. Eng. Remote Sens."},{"key":"ref21","volume-title":"Protected Mode Software Architecture","author":"Shanley","year":"1996"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/6.591665"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.2307\/249183"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCOMM.2016.2580150"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.12.035"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2907798"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2019.2932936"},{"issue":"3","key":"ref29","first-page":"222","article-title":"Hypervisor: A survey on concepts and taxonomy","volume":"2","author":"Desai","year":"2013","journal-title":"Int. J. Innov. Technol. Exploring Eng."},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2016.7794064"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38853-8_27"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/INFOTEH48170.2020.9066288"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.4316\/AECE.2021.01002"},{"issue":"4","key":"ref34","first-page":"241","article-title":"Modelling and formally verifying Intel VT-x: Hardware assistance for processors running virtualization platforms","volume":"8","author":"Bhushan","year":"2019","journal-title":"Int. J. Eng. Adv. Technol."},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24322-6_22"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2013.76"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/219\/4\/042005"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982308"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2016.24"},{"key":"ref40","first-page":"579","article-title":"A new approach for distributed computing in avionics systems","volume-title":"Proc. 1st Int. Symp. Inf. Commun. Technol.","author":"S\u00e1nchez-Puebla"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/NAECON.1992.220669"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2015.150014"},{"key":"ref43","article-title":"ARINC 653: Avionics application software standard interface (draft 15)","author":"Committee","year":"1996"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2014.6979531"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2015.7311448"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.11"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2017.31"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1089\/space.2016.0027"},{"key":"ref49","first-page":"1","article-title":"5G and beyond for new space: Vision and research challenges","volume-title":"Proc. Adv. Commun. Satell. Syst. 37th Int. Commun. Satell. Syst. Conf. (ICSSC)","author":"Corici"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2019.00041"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2018.00056"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-83826-3_5"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE46568.2020.9212310"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICCE-Berlin.2018.8576222"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564397"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778073"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2016.2608418"},{"key":"ref58","volume-title":"Exploring Xen\/kVM in prototyping an automotive use-case","author":"Knorr","year":"2019"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2018.8396689"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2017.8102056"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ICAICTA.2018.8541309"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.23919\/DATE48585.2020.9116268"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2015.7185063"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/TAES.2021.3104941"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2644865.2541946"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-38904-2_35"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/3453933.3454010"},{"key":"ref68","first-page":"1771","article-title":"Performance comparison of commercial VMM: ESXI, XEN, HYPER-V & KVM","volume-title":"Proc. 3rd Int. Conf. Comput. Sustain. Global Develop. (INDIACom)","author":"Manik"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2016.7761610"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/IMCEC.2018.8469189"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/AIEEE.2015.7367280"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/IECON49645.2022.9968908"},{"key":"ref73","first-page":"263","article-title":"XtratuM: A hypervisor for safety critical embedded systems","volume-title":"Proc. 11th Real-Time Linux Workshop","author":"Masmano"},{"key":"ref74","volume-title":"A study of Xtratum as a tool for space and time partitioning in safety-critical avionics software","author":"Gast\u00f3n Ochoa","year":"2020"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/SCC49971.2021.00010"},{"key":"ref76","first-page":"20","article-title":"Temporal duplex-triplex on COTS processors with XtratuM","volume-title":"Proc. DASIA Data Syst. Aerosp.","volume":"736","author":"Galizzi"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2019.8868957"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2015.27"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.2514\/1.I010745"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.5139\/jksas.2020.48.6.467"},{"issue":"4","key":"ref81","first-page":"177","article-title":"Overhead analysis of XtratuM for space in SMP envrionment","volume":"15","author":"Kim","year":"2020","journal-title":"IEMEK J. Embedded Syst. Appl."},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2010.12"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTER.2016.91"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.23919\/DATE54114.2022.9774534"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2018.00054"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2869094"},{"key":"ref87","first-page":"17","article-title":"Distributed real-time fault tolerance on a virtualized multi-core system","volume-title":"Proc. OSPERT","author":"Missimer"},{"key":"ref88","first-page":"161","article-title":"Functionality farming in POK\/rodosvisor","volume-title":"Proc. Int. J. Comput. Sci. Softw. Eng.","volume":"5","author":"Carvalho"},{"key":"ref89","first-page":"1","article-title":"Space and time partitioning with hardware support for space applications","volume-title":"Proc. Data Syst. Aerosp. (DASIA), Eur. Space Agency, (Special Publication) ESA SP","author":"Pinto"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.3390\/electronics6040093"},{"key":"ref91","first-page":"1","article-title":"SecSSy hypervisor: Security-safety synergy for aerospace","volume-title":"Proc. DAta Syst. Aerosp. (DASIA)","author":"Pinto"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1145\/1456455.1456460"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2007.10.010"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/ICCVE.2013.6799789"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2018.8352425"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.23919\/fruct.2018.8588018"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.23919\/date48585.2020.9116385"},{"key":"ref98","article-title":"Look mum, no VM exits! (almost)","author":"Ramsauer","year":"2017","journal-title":"arXiv:1705.06932"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/DSD51259.2020.00066"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS48715.2020.00013"},{"key":"ref101","first-page":"3:1","article-title":"Bao: A lightweight static partitioning hypervisor for modern multi-core embedded systems","volume-title":"Proc. Workshop Next Gener. Real-Time Embedded Syst. (NG-RES)","volume":"77","author":"Martins"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1145\/1851276.1851282"},{"key":"ref103","volume-title":"OKL4 hypervisor software development kit plugin","author":"Wolfe","year":"2019"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11244201"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1145\/3313808.3313816"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS46596.2019.8964912"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301581"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2939859"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2014.6871203"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2011.15"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/787\/1\/012006"},{"issue":"2","key":"ref113","first-page":"295","article-title":"Runtime performance evaluation and optimization of type-2 hypervisor for MIPS64 architecture","volume":"34","author":"Ain","year":"2022","journal-title":"J. King Saud Univ. Comput. Inf. Sci."},{"key":"ref114","volume-title":"Minos Flexible Virtualization Solution for Embedded System","author":"Project","year":"2022"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/RECONFIG.2017.8279825"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00013"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91186-1_16"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10092745.pdf?arnumber=10092745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T04:29:23Z","timestamp":1710390563000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10092745\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":117,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3264825","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}